A Resolution Prover for Coalition Logic

by Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt
Published 2014-04-01

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

by Alan FT Winfield, Jin Sa, Mari-Carmen Fernández-Gago, Clare Dixon, Michael Fisher
Published 2005-12-01

On Formal Specification of Emergent Behaviours in Swarm Robotic Systems

by Clare Dixon, Jin Sa, Alan FT Winfield, Michael Fisher, Mari-Carmen Fernandez-Gago
Published 2008-11-01

An Overview of Verification and Validation Challenges for Inspection Robots

by Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, Matt Webster
Published 2021-04-01