280 citations · 388 across the 15 of their papers we have counts for
1 paper · 2 filters
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…