Practical Verification of Decision-Making in Agent-Based Autonomous Systems

Louise A. Dennis, Michael Fisher, Nicholas K. Lincoln +2

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and…