A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability
Research article (Electronic Proceedings in Theoretical Computer Science, 2018) · cited 16× · AI/ML