| AI Journal Special Issue on Ethics for Autonomous Systems | 0 | 0.34 | 2022 |
| Rule-based Adaptations to Control Cybersickness in Social Virtual Reality Learning Environments | 1 | 0.35 | 2021 |
| Integrating Formal Verification and Assurance - An Inspection Rover Case Study. | 0 | 0.34 | 2021 |
| Agile Tasking of Robotic Systems with Explicit Autonomy. | 0 | 0.34 | 2021 |
| An Overview Of Verification And Validation Challenges For Inspection Robots | 0 | 0.34 | 2021 |
| Increasing confidence in autonomous systems | 0 | 0.34 | 2021 |
| Atomic Weight Calculus of Spindly Games. | 0 | 0.34 | 2020 |
| Runtime Verification of the ARIAC Competition - Can a Robot be Agile and Safe at the same time? | 0 | 0.34 | 2020 |
| Verifiable Self-Aware Agent-Based Autonomous Systems. | 0 | 0.34 | 2020 |
| Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171). | 0 | 0.34 | 2019 |
| The "Why Did You Do That?" Button - Answering Why-Questions for End Users of Robotic Systems. | 1 | 0.36 | 2019 |
| Sterling stirling play. | 0 | 0.34 | 2018 |
| Slicing Agent Programs for More Efficient Verification. | 0 | 0.34 | 2018 |
| A Rational Agent Controlling An Autonomous Vehicle: Implementation And Formal Verification | 1 | 0.43 | 2017 |
| Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study | 15 | 0.94 | 2016 |
| Towards Verifiably Ethical Robot Behaviour. | 6 | 0.58 | 2015 |
| A roadmap to pervasive systems verification. | 1 | 0.36 | 2015 |
| A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance | 5 | 0.46 | 2015 |
| Formal Verification of an Autonomous Personal Robotic Assistant | 8 | 0.78 | 2014 |
| Using Agent Jpf To Build Models For Other Model Checkers | 3 | 0.42 | 2013 |
| Combined model checking for temporal, probabilistic, and real-time logics | 16 | 0.67 | 2013 |
| Agent reasoning for norm compliance: a semantic approach | 7 | 0.54 | 2013 |
| Model checking agent programming languages | 58 | 2.05 | 2012 |
| Symmetric Temporal Theorem Proving | 0 | 0.34 | 2012 |
| Verifying brahms human-robot teamwork models | 7 | 0.50 | 2012 |
| Analysing robot swarm behaviour via probabilistic model checking | 36 | 1.13 | 2012 |
| Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification | 8 | 0.78 | 2011 |
| Agent deliberation in an executable temporal framework. | 4 | 0.42 | 2011 |
| A formal semantics for brahms | 4 | 0.85 | 2011 |
| Formal verification of probabilistic swarm behaviours | 11 | 0.62 | 2010 |
| Executable specifications of resource-bounded agents | 5 | 0.44 | 2010 |
| Exploring the Future with Resource-Bounded Agents | 4 | 0.50 | 2009 |
| Towards the Verification of Pervasive Systems | 4 | 0.42 | 2009 |
| Formal verification of human-robot teamwork | 6 | 0.75 | 2009 |
| Programming Verifiable Heterogeneous Agent Systems | 5 | 0.48 | 2008 |
| Practical First-Order Temporal Reasoning | 6 | 0.40 | 2008 |
| Computational Logics And Agents: A Road Map Of Current Technologies And Future Trends | 39 | 1.39 | 2007 |
| Temporal Logic with Capacity Constraints | 3 | 0.38 | 2007 |
| Language Constructs for Multi-agent Programming | 10 | 0.59 | 2007 |
| Temporal Logics of Knowledge and their Applications in Security | 11 | 0.59 | 2007 |
| Tractable Temporal Reasoning | 9 | 0.53 | 2007 |
| Model Checking For Multiagent Systems: The Mable Language And Its Applications | 15 | 0.77 | 2006 |
| Mechanising first-order temporal resolution | 20 | 0.85 | 2005 |
| Alternating automata and temporal logic normal forms | 1 | 0.36 | 2005 |
| Logical implementation of uncertain agents | 6 | 0.50 | 2005 |
| Practical Infinite-State Verification with Temporal Reasoning | 8 | 0.48 | 2005 |
| Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony | 6 | 0.52 | 2004 |
| Temporal Development Methods for Agent-Based | 27 | 1.36 | 2004 |
| Monodic ASMs and Temporal Verification | 2 | 0.40 | 2004 |
| Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols | 21 | 0.83 | 2004 |
