The computational complexity of agent design problems

This publication has 12 references indexed in Scilit:

• A survey of concurrent MetateM — The language and its applications
  Published by Springer Nature ,2005
• An Overview of Planning Under Uncertainty
  Published by Springer Nature ,1999
• Planning and acting in partially observable stochastic domains
  Published by Elsevier ,1998
• Agent-based software engineering
  IEE Proceedings - Software Engineering, 1997
• Temporal Verification of Reactive Systems
  Published by Springer Nature ,1995
• The computational complexity of propositional STRIPS planning
  Artificial Intelligence, 1994
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• On the synthesis of a reactive module
  Published by Association for Computing Machinery (ACM) ,1989
• The complexity of propositional linear temporal logics
  Journal of the ACM, 1985
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984