Sotabase

Career

· Non Executive Director And Trustee, Methodist Homes MHA2025–
· Board Member, Starting Arts2025–
· CEO and Co-Founder, Neuraura2022–
· Financial Controller, Barclays2018–
· Researcher/Author, University of Liverpool2015–
· Various, eBay, GlaxoSmithKline, Unilever, Weber Shandwick
· Chief Communications Officer, Intel
· SVP Chief Communications Officer, VMware

Publications (162)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
International Conference on Software Reuse · 2013
1,774
cited
Clausal temporal resolution
TOCL · 1999
218
cited
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys · 2018
169
cited
Analysing robot swarm behaviour via probabilistic model checking
Robotics Auton. Syst. · 2012
110
cited
Taxonomy of Trust-Relevant Failures and Mitigation Strategies
IEEE/ACM International Conference on Human-Robot Interaction · 2020
95
cited
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
2005
89
cited
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
IEEE Transactions on Human-Machine Systems · 2016
82
cited
Resolution for Temporal Logics of Knowledge
Journal of Logic and Computation · 1998
77
cited
A corroborative approach to verification and validation of human–robot teams
Int. J. Robotics Res. · 2016
68
cited
Towards temporal verification of swarm robotic systems
Robotics Auton. Syst. · 2012
62
cited
An intelligent process model: predicting springback in single point incremental forming
The International Journal of Advanced Manufacturing Technology · 2014
58
cited
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief
J. Appl. Non Class. Logics · 1998
57
cited
Combinations of Modal Logics
Artificial Intelligence Review · 2002
53
cited
An Overview of Verification and Validation Challenges for Inspection Robots
Robotics · 2021
51
cited
Formal Verification of an Autonomous Personal Robotic Assistant
AAAI Spring Symposia · 2014
45
cited
Using temporal logics of knowledge in the formal verification of security protocols
Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004. · 2004
43
cited
Temporal resolution using a breadth-first search algorithm
Annals of Mathematics and Artificial Intelligence · 1998
39
cited
Mechanising first-order temporal resolution
Information and Computation · 2005
38
cited
Search Strategies for Resolution in Temporal Logics
CADE · 1996
35
cited
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours
Towards Autonomous Robotic Systems · 2014
28
cited
Sotabase
Clare Dixon | Researcher Profile | Sotabase | Sotabase