Practical verification of decision-making in agent-based autonomous systems

Verifying autonomous systems

(2013) Michael Fisher et al.   COMMUNICATIONS OF THE ACM

Autonomous Asteroid Exploration by Rational Agents

(2013) N.K. Lincoln et al.   IEEE Computational Intelligence Magazine

Model checking agent programming languages

(2011) Louise A. Dennis et al.   Automated Software Engineering

Satellite Control Using Rational Agent Programming

(2010) Louise Dennis et al.   IEEE INTELLIGENT SYSTEMS

Hybrid dynamical systems

(2009)   IEEE CONTROL SYSTEMS MAGAZINE

Property-based Slicing for Agent Verification

(2009) R. H. Bordini et al.   JOURNAL OF LOGIC AND COMPUTATION

Goals in conflict: semantic foundations of goals in agent programming

(2008) M. Birna van Riemsdijk et al.   AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning

(2008) Corina S. Păsăreanu et al.   FORMAL METHODS IN SYSTEM DESIGN