Uncertain Agent Verification through Probabilistic Model-Checking

This publication has 11 references indexed in Scilit:

• Bilateral negotiation decisions with uncertain dynamic outside options
  IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), 2006
• Verifying Multi-agent Programs by Model Checking
  Autonomous Agents and Multi-Agent Systems, 2006
• Model Checking Rational Agents
  IEEE Intelligent Systems, 2004
• Probabilistic symbolic model checking with PRISM: a hybrid approach
  International Journal on Software Tools for Technology Transfer, 2004
• Model-checking algorithms for continuous-time markov chains
  IEEE Transactions on Software Engineering, 2003
• A framework for reasoning about time and reliability
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Probabilistic agent programs
  ACM Transactions on Computational Logic, 2000
• Negotiation decision functions for autonomous agents
  Published by Elsevier ,1999
• Agent-based software engineering
  IEE Proceedings - Software Engineering, 1997
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977