Verifying autonomous systems

Abstract

Exploring autonomous systems and the agents that control them.

References

1. Arkin, R. Governing lethal behavior: Embedding ethics in a hybrid deliberative/reactive robot architecture. Technical report GIT-GVU-07-11. Georgia Tech, 2007.
2. Blackburn, P., van Benthem, J. and Wolter, F. eds. Handbook of Modal Logic. Elsevier, 2006.
3. Bonasso, P., Firby, J., Gat, E., Kortenkamp, D., Miller, D. and Slack, M. Experiences with an architecture for intelligent, reactive agents. J. Exp. Theor. Artif. Intel. 9, 23 (1997), 237--256.
4. Bond, A. and Gasser, L. eds. Readings in Distributed Artificial Intelligence. Morgan Kaufmann, 1988.
5. Bordini, R., Dastani, M., Dix, J. and El Fallah-Seghrouchni, A. eds. Multi-Agent Programming: Languages, Platforms and Applications. Springer, 2005.
6. Bordini, R., Dastani, M., Dix, J. and El Fallah-Seghrouchni, A. eds. Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009.
7. Bordini, R., Fisher, M., Visser, W. and Wooldridge, M. Verifying multi-agent programs by model checking. J. Autonomous Agents and Multi-Agent Systems 12, 2 (2006), 239-256.
8. Bordini, R., Hübner, J. and Wooldridge, M. Programming Multi-agent Systems in <code>AgentSpeak</code> using Jason. Wiley, 2007.
9. Bratman, M. Intentions, Plans, and Practical Reason. Harvard University Press, 1987.
10. Brooks, R. A Robust layered control system for a mobile robot. IEEE J. Robotics and Automation 2, 10 (1986).
11. Civil Aviation Authority. CAP 393 Air Navigation: The Order and the Regulations; http://www.caa.co.uk/docs/33/CAP393.pdf, April 2010.
12. Civil Aviation Authority. CAP 722 Unmanned Aircraft System Operations in UK Airspace---Guidance; http://www.caa.co.uk/docs/33/CAP722.pdf, April 2010.
13. Clarke, E., Grumberg, O. and Peled, D. Model Checking. MIT Press, 1999.
14. Cohen, P. and Levesque, H. Intention is choice with commitment. Artificial Intelligence 42 (1990), 213--261.
15. Dennis, L. and Farwer, B. GWENDOLEN: A BDI Language for verifiable agents. In Workshop on Logic and the Simulation of Interaction and Reasoning. AISB, 2008.
16. Dennis, L., Farwer, B., Bordini, R., Fisher, M. and Wooldridge, M. A common semantic basis for BDI languages. In Proc. 7^th Int. Workshop on Programming Multiagent Systems, LNAI 4908 (2008). Springer, 124--139.
17. Dennis, L., Fisher, M., Lincoln, N., Lisitsa, A. and Veres, S. Verifying Practical Autonomous Systems. (Under review.)
18. Dennis, L., Fisher, M., Lisitsa, A., Lincoln, N. and Veres, S. satellite control using rational agent programming. IEEE Intelligent Systems 25, 3 (May/June 2010), 92--97.
19. Dennis, L., Fisher, M., Webster, M. and Bordini, R. Model checking agent programming languages. Automated Software Engineering 19, 1 (2012), 5--63.
20. Durfee, E., Lesser, V. and Corkill, D. Trends in cooperative distributed problem solving. IEEE Trans. Knowledge and Data Engineering 1, 1 (1989).
21. Fisher, M. An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, 2011.
22. Franklin, S. and Graesser, A. Is it an agent, or just a program? A taxonomy for autonomous agents. Intelligent Agents III, LNCS 1193 (1996), 21--35.
23. Gat, E., Bonnasso, R., Murphy, R. and Press, A. On three-layer architectures. Artificial Intelligence and Mobile Robots. AAAI Press, 1997, 195--210.
24. Havelund, K. and Rosu, G. Monitoring programs using rewriting. In Proc. 16^th IEEE Int. Conf. Automated Software Engineering (2001). IEEE Computer Society, 135--143.
25. Jones, C. Systematic Software Development Using VDM. Prentice Hall International, 1986.
26. Java PathFinder. javapathfinder.sourceforge.net.
27. Kitano, H. and Tadokoro, S. RoboCup rescue: A grand challenge for multiagent and intelligent systems. AI Magazine 22, 1 (2001), 39--52.
28. Manna, Z. and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, 1992.
29. Raimondi, F. and Lomuscio, A. Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. Journal of Applied Logic 5, 2 (2007), 235--251.
30. Rao, A. <code>AgentSpeak</code>(L): BDI agents speak out in a logical computable language. In Proc. 7^th European Workshop on Modeling Autonomous Agents in a Multi-Agent World, LNCS 1038 (1996). Springer, 42--55.
31. Rao, A. Decision procedures for propositional linear-time belief-desire-intention logics. Journal of Logic and Computation 8, 3 (1998), 293--342.
32. Rao, A.S. and Georgeff, M.P. BDI agents: From theory to practice. In Proc. 1^st Int. Conf. Multi-Agent Systems (San Francisco, CA, 1995), 312--319.
33. Rao, A.S. and Georgeff, M.P. An abstract architecture for rational agents. In Proc. 1^st Int. Conf. Knowledge Representation and Reasoning (1992), 439--449.
34. Shoham, Y. Agent-oriented programming. Artificial Intelligence 60, 1 (1993), 51--92.
35. United States of America State of Nevada Legislature. Nevada Revised Statutes Chapter 482A---Autonomous Vehicles, Mar. 2012.
36. Visser, W., Havelund, K., Brat, G.P., Park, A. and Lerda, F. Model checking programs. Automated Software Engineering 10, 2 (2003), 203--232.
37. Webster, M., Fisher, M., Cameron, N. and Jump, M. Formal methods and the certification of autonomous unmanned aircraft systems. In Proc. 30th International Conference on Computer Safety, Reliability and Security. LNCS 6894 (2011). Springer, 228--242.
38. Wooldridge, M. An Introduction to Multiagent Systems. Wiley, 2002.
39. Wooldridge, M. and Rao, A., Eds. Foundations of Rational Agency. Kluwer Academic Publishers, 1999.

Index Terms

• Computer systems organization

  • Embedded and cyber-physical systems

    • Robotics

• Computing methodologies

  • Artificial intelligence

    • Control methods

      • Robotic planning

    • Planning and scheduling

      • Robotic planning

    • Search methodologies

  • Modeling and simulation

    • Simulation support systems

• Theory of computation

  • Design and analysis of algorithms

    • Algorithm design techniques

      • Dynamic programming