Related references
Note: Only part of the references are listed.Verifying Autonomous Systems
Michael Fisher et al.
COMMUNICATIONS OF THE ACM (2013)
Autonomous Asteroid Exploration by Rational Agents
N. K. Lincoln et al.
IEEE COMPUTATIONAL INTELLIGENCE MAGAZINE (2013)
Model checking agent programming languages
Louise A. Dennis et al.
AUTOMATED SOFTWARE ENGINEERING (2012)
Satellite Control Using Rational Agent Programming
Louise Dennis et al.
IEEE INTELLIGENT SYSTEMS (2010)
Goals in conflict: semantic foundations of goals in agent programming
M. Birna van Riemsdijk et al.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2009)
Hybrid Dynamical Systems
Rafal Goebel et al.
IEEE CONTROL SYSTEMS MAGAZINE (2009)
Property-based Slicing for Agent Verification
Rafael H. Bordini et al.
JOURNAL OF LOGIC AND COMPUTATION (2009)
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
Corina S. Pasareanu et al.
FORMAL METHODS IN SYSTEM DESIGN (2008)
Abstractions for hybrid systems
Ashish Tiwari
FORMAL METHODS IN SYSTEM DESIGN (2008)
Verifying multi-agent programs by model checking
RH Bordini et al.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2006)
Discrete abstractions of hybrid systems
R Alur et al.
PROCEEDINGS OF THE IEEE (2000)