Uncertain agent verification through probabilistic model-checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4324 LNAI, Issue , 2009, Pages 162-174

  Ballarini, Paolo ^a   Fisher, Michael ^b   Wooldridge, Michael ^b  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED VERIFICATION; CHARACTERISATION; MARKOVIAN MODEL; PROBABILISTIC MODELS; PROBABILISTIC VARIANT;

MARKOV PROCESSES; MULTI AGENT SYSTEMS; PROBABILITY DISTRIBUTIONS;

MODEL CHECKING;

EID: 70450162581     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04879-1_12     Document Type: Conference Paper

References (15)

1. Alur, R., Henzinger, T.: Reactive modules. Formal Methods in System Design 15(1), 7-48 (1999)
2. Baier, C., Haverkort, B., Hermann, H., Katoen, J.-P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. on Software Eng. 29(6), 524-541 (2003)
3. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intelligent Systems 19(5), 46-52 (2004)
4. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems 12(2), 239-256 (2006)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)
6. Dix, J., Nanni, M., Subrahmanian, V.S.: Probabilistic agent programs. ACM Trans. Comput. Logic 1(2), 208-246 (2000)
7. Faratin, P., Sierra, C., Jennings, N.R.: Negotiation decision functions for autonomous agents. Int. Journal of Robotics and Autonomous Systems 24(3-4), 159-182 (1998)
8. Feller, W.: An introduction to probability theory and its applications. John Wiley and Sons, Chichester (1968)
9. Hansson, H.A., Jonsson, B.: A framework for reasoning about time and reliability. In: Proc. 10th IEEE Real-Time Systems Symposium, pp. 102-111. IEEE Computer Society Press, Santa Monica (1989)
10. Holzmann, G.J.: The Spin Model Checker. Addison Wesley, Reading (2003)
11. Kwiatokowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with prism: A hybrid approach. International Journal on Software Tools for Technology Transfer, STTT (2004)
12. Li, C., Giampapa, J., Sycara, K.: Bilateral negotiation decisions with uncertain dynamic outside options. IEEE Transactions on Systems, Man, and Cybernetics 36, Part C: Special Issue on Game-theoretic Analysis and Stochastic Simulation of Negotiation Agents (No. 1) (2006)
13. Parker, D.: Prism web site, http://www.cs.bham.ac.uk/~dxp/prism
14. Pnueli, A.: The temporal logic of programs. In: Proceedings of the Eighteenth IEEE Symposium on the Foundations of Computer Science, pp. 46-57 (1977)
15. Wooldridge, M.: Agent-based software engineering. IEE Proceedings on Software Engineering 144(1), 26-37 (1997)