280 citations · 388 across the 15 of their papers we have counts for
3 papers · 1 filter
A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, Angelo Ferrando +3
Robotic systems used in safety-critical scenarios often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic…
An Abstract Formal Basis for Digital Crowds
Marija Slavkovik, Louise A. Dennis, Michael Fisher
Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large numb…
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…