1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2013
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…
cs.MA2010★ 1 cited
Agent Based Approaches to Engineering Autonomous Space Software
Louise A. Dennis, Michael Fisher, Nicholas Lincoln +2
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's S…