A Formal Semantics for Brahms
暂无分享,去创建一个
Maarten Sierhuis | Clare Dixon | Michael Fisher | Louise A. Dennis | Richard Stocker | Michael Fisher | Louise Dennis | M. Sierhuis | C. Dixon | Richard Stocker
[1] Maarten Sierhuis,et al. Modeling and simulating work practice : BRAHMS: a multiagent modeling and simulation language for work system analysis and design , 2001 .
[2] Maarten Sierhuis,et al. Formal verification of human-robot teamwork , 2009, 2009 4th ACM/IEEE International Conference on Human-Robot Interaction (HRI).
[3] Gerard J. Holzmann,et al. Software model checking with SPIN , 2005, Adv. Comput..
[4] J. van Leeuwen,et al. Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.
[5] Jeffrey M. Bradshaw,et al. Human-Agent Teamwork and Adjustable Autonomy in Practice , 2003 .
[6] Michael Wooldridge,et al. Introduction to multiagent systems , 2001 .
[7] SierhuisMaarten,et al. Modeling and Simulating Work Practice , 2002 .
[8] Maarten Sierhuis,et al. Modeling and Simulating Work Practice: A Method for Work Systems Design , 2002, IEEE Intell. Syst..
[9] Maarten Sierhuis,et al. Multiagent modeling and simulation in human-robot mission operations work system design , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
[10] Maarten Sierhuis,et al. Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System , 2003, FLAIRS.
[11] Anand S. Rao,et al. BDI Agents: From Theory to Practice , 1995, ICMAS.
[12] Barbara Messing,et al. An Introduction to MultiAgent Systems , 2002, Künstliche Intell..
[13] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[14] Rafael H. Bordini,et al. Automated Verification of Multi-Agent Programs , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[15] Fausto Giunchiglia,et al. NUSMV: A New Symbolic Model Verifier , 1999, CAV.
[16] Maarten Sierhuis,et al. NASA's OCA Mirroring System: An Application of Multiagent Systems in Mission Control , 2009, AAMAS 2009.
[17] Michael Fisher,et al. Satellite Control Using Rational Agent Programming , 2010, IEEE Intelligent Systems.
[18] Maarten Sierhuis,et al. Multi-agent Simulation to Implementation: A Practical Engineering Methodology for Designing Space Flight Operations , 2008, ESAW.