Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Synthesis of distributed systems from knowledge-based specifications
CONCUR 2005 - Concurrency Theory
Distributed synthesis for well-connected architectures
Formal Methods in System Design
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Validation of multiagent systems by symbolic model checking
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Asynchronous omega-regular games with partial information
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Hi-index | 0.00 |