Synthesis of Communicating Processes from Temporal Logic Specifications

The complexity of propositional linear temporal logics

Journal of the ACM (JACM)

Synthesis of concurrent systems with many similar sequential processes (extended abstract)

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Oracles for checking temporal properties of concurrent systems

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering

Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

"Sometimes" and "not never" revisited: on branching versus linear time (preliminary report)

POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version)

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Multiagent Planning as Control Synthesis

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2