Formal verification of human-robot teamwork

Proceedings of the 4th ACM/IEEE International Conference on Human-Robot Interaction, HRI'09

Volumn , Issue , 2008, Pages 267-268

  Bordini, Rafael H ^a   Fisher, Michael ^b   Sierhuis, Maarten ^c,d  

^a DURHAM UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

^c CMU Silicon Valley ^*  (United States)

^d DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Agent based modelling; Teamwork; Verification

Indexed keywords

AGENT-BASED MODELLING; FORMAL VERIFICATIONS; HUMAN-AGENT TEAMWORK; SPACE MISSIONS; TEAMWORK;

HUMAN COMPUTER INTERACTION; RELIABILITY ANALYSIS; ROBOTS;

MAN MACHINE SYSTEMS;

EID: 67650673413     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1514095.1514169     Document Type: Conference Paper

References (11)

1. R. H. Bordini, L. A. Dennis, B. Farwer, and M. Fisher. Automated Verification of Multi-Agent Programs. In Proc. 23rd IEEE/ACM Int. Conf. Automated Software Engineering (ASE), 2008.
2. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Model Checking Rational Agents. IEEE Intelligent Systems, 19(5):46-52, 2004. (Pubitemid 40168613) (Pubitemid 40168613)
3. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifying Multi-Agent Programs by Model Checking. J. Autonomous Agents and Multi-Agent Systems, 12(2):239-256, 2006.
4. R. H. Bordini, J. F. Hübner, and M. Wooldridge. Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley, 2007.
5. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
6. A. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, volume 1038 of LNCS, pages 42-55. Springer, 1996. (Pubitemid 126029707) (Pubitemid 126029707)
7. M. Sierhuis. Modeling and Simulating Work Practice. BRAHMS: a multiagent modeling and simulation language for work system analysis and design. PhD thesis, Social Science and Informatics (SWI), University of Amsterdam, The Netherlands, 2001.
8. M. Sierhuis. Multiagent Modeling and Simulation in Human-Robot Mission Operations, 2006. See http://ic.arc.nasa.gov/ic/publications.
9. M. Sierhuis, J. M. Bradshaw, A. Acquisti, R. V. Hoof, R. Jeffers, and A. Uszok. Human-Agent Teamwork and Adjustable Autonomy in Practice. In Proc. 7th Int. Symp. Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS), 2003.
10. M. Wooldridge. An Introduction to Multiagent Systems. Wiley, 2002.
11. M. Wooldridge and A. Rao, editors. Foundations of Rational Agency. Kluwer, 1999.