Sotabase

Career

· Researcher in AI and Autonomous Systems, The University of Manchester
· Reader in Artificial Intelligence and Autonomous Systems, University of Manchester

Publications (176)

Formal verification of ethical choices in autonomous systems
Robotics Auton. Syst. · 2016
222
cited
Model checking agent programming languages
International Conference on Automated Software Engineering · 2012
211
cited
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys · 2018
169
cited
Verifying autonomous systems
CACM · 2013
146
cited
Formal verification of autonomous vehicle platooning
Science of Computer Programming · 2016
144
cited
Practical verification of decision-making in agent-based autonomous systems
International Conference on Automated Software Engineering · 2013
110
cited
IEEE P7001: A Proposed Standard on Transparency
Frontiers in Robotics and AI · 2021
94
cited
Ethics by Design: Necessity or Curse?
AAAI/ACM Conference on AI, Ethics, and Society · 2018
87
cited
Gwendolen : A BDI Language for Verifiable Agents
2008
74
cited
A Common Semantic Basis for BDI Languages
International Workshop on Programming Multi-Agent Systems · 2007
67
cited
Automated Verification of Multi-Agent Programs
2008 23rd IEEE/ACM International Conference on Automated Software Engineering · 2008
67
cited
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
Proceedings of the IEEE · 2019
67
cited
Towards Moral Autonomous Systems
arXiv.org · 2017
66
cited
Predicting the metabolic energy costs of bipedalism using evolutionary robotics
Journal of Experimental Biology · 2003
61
cited
Towards Verifiably Ethical Robot Behaviour
AI and Ethics · 2015
56
cited
Evaluating alternative gait strategies using evolutionary robotics
Journal of Anatomy · 2004
55
cited
An Overview of Verification and Validation Challenges for Inspection Robots
Robotics · 2021
51
cited
The PROSPER Toolkit
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2000
50
cited
The PROSPER toolkit
International Journal on Software Tools for Technology Transfer (STTT) · 2003
50
cited
Autonomous Nuclear Waste Management
IEEE Intelligent Systems · 2018
36
cited
Sotabase