Michael Fisher

A Compositional Approach to Verifying Modular Robotic Systems.

[BibT_eX]

[DOI]

CoRR, 2022

Verifiable autonomy: From theory to applications.

[BibT_eX]

[DOI]

AI Commun., 2022

AI Journal Special Issue on Ethics for Autonomous Systems.

[BibT_eX]

[DOI]

Sven Koenig

Marija Slavkovik

Artif. Intell., 2022

2021

Trustworthy AI.

[BibT_eX]

[DOI]

Proceedings of the Reflections on Artificial Intelligence for Humanity, 2021

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2021

Towards the Determination of Safe Operating Envelopes for Autonomous UAS in Offshore Inspection Missions.

[BibT_eX]

[DOI]

Robotics, 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

[BibT_eX]

[DOI]

Robotics, 2021

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study.

[BibT_eX]

[DOI]

Paladyn J. Behav. Robotics, 2021

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.

[BibT_eX]

[DOI]

Gleifer Vaz Alves

Louise Abigail Dennis

J. Sens. Actuator Networks, 2021

Parameterized verification of leader/follower systems via first-order temporal logic.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Bridging the gap between single- and multi-model predictive runtime verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Towards a framework for certification of reliable autonomous systems.

[BibT_eX]

[DOI]

Viviana Mascardi

Kristin Yvonne Rozier

Bernd-Holger Schlingloff

Michael Winikoff

Neil Yorke-Smith

Auton. Agents Multi Agent Syst., 2021

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Increasing confidence in autonomous systems.

[BibT_eX]

[DOI]

Angelo Ferrando

Rafael C. Cardoso

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Agile Tasking of Robotic Systems with Explicit Autonomy.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Implementing Ethical Governors in BDI.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Summarising a Framework for the Certification of Reliable Autonomous Systems.

[BibT_eX]

[DOI]

Viviana Mascardi

Kristin Y. Rozier

Bernd-Holger Schlingloff

Michael Winikoff

Neil Yorke-Smith

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Verifiable Machine Ethics in Changing Contexts.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Verifiable Self-Aware Agent-Based Autonomous Systems.

[BibT_eX]

[DOI]

Proc. IEEE, 2020

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods.

[BibT_eX]

[DOI]

J. Comput. Sci., 2020

A corroborative approach to verification and validation of human-robot teams.

[BibT_eX]

[DOI]

Matt Webster

David G. Western

Dejanira Araiza-Illan

Int. J. Robotics Res., 2020

Multi-scale verification of distributed synchronisation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2020

Towards Compositional Verification for Modular Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

ROSMonitoring: A Runtime Verification Framework for ROS.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

A Safety Framework for Critical Systems Utilising Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

An Interface for Programming Verifiable Autonomous Agents in ROS.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?

[BibT_eX]

[DOI]

Proceedings of the 7th Italian Workshop on Artificial Intelligence and Robotics co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020

2019

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots.

[BibT_eX]

[DOI]

Proc. IEEE, 2019

Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Modular Verification of Autonomous Space Robotics.

[BibT_eX]

[DOI]

CoRR, 2019

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent.

[BibT_eX]

[DOI]

Gleifer Vaz Alves

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

The "Why Did You Do That?" Button: Answering Why-Questions for End Users of Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Plan Library Reconfigurability in BDI Agents.

[BibT_eX]

[DOI]

Rafael C. Cardoso

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Probabilistic Model Checking of Robots Deployed in Extreme Environments.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Two-stage agent program verification.

[BibT_eX]

[DOI]

Matt Webster

J. Log. Comput., 2018

Autonomous Nuclear Waste Management.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2018

Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Making Sense of the World: Models for Reliable Sensor-Driven Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems.

[BibT_eX]

[DOI]

Comput., 2018

Verifying and Validating Autonomous Systems: Towards an Integrated Approach.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Verifiable Self-Certifying Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Practical Challenges in Explicit Ethical Machine Reasoning.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

[BibT_eX]

[DOI]

Marie Farrell

Matt Luckcuck

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time.

[BibT_eX]

[DOI]

Maryam Kamali

Sven Linker

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

Slicing Agent Programs for More Efficient Verification.

[BibT_eX]

[DOI]

Michael Winikoff

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

Recognising Assumption Violations in Autonomous Systems Verification.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Formal verification of autonomous vehicle platooning.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Finding Maximum Expected Termination Time of Probabilistic Timed Automata Models with Cyclic behavior.

[BibT_eX]

[DOI]

Omar I. Al-Bataineh

David S. Rosenblum

CoRR, 2017

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification.

[BibT_eX]

[DOI]

Lucas E. R. Fernandes

Vinicius Custodio

Gleifer V. Alves

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Towards Moral Autonomous Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.

[BibT_eX]

[DOI]

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2016

Formal verification of ethical choices in autonomous systems.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2016

Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2016

An Assurance-based Approach to Verification and Validation of Human-Robot Teams.

[BibT_eX]

[DOI]

Matt Webster

David G. Western

Dejanira Araiza-Illan

CoRR, 2016

Practical verification of decision-making in agent-based autonomous systems.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2016

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 17th Annual Conference, 2016

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.

[BibT_eX]

[DOI]

Marija Slavkovik

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

2015

A roadmap to pervasive systems verification.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2015

An abstract formal basis for digital crowds.

[BibT_eX]

[DOI]

Marija Slavkovik

Distributed Parallel Databases, 2015

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance.

[BibT_eX]

[DOI]

M. Birna van Riemsdijk

Koen V. Hindriks

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Towards Verifiably Ethical Robot Behaviour.

[BibT_eX]

[DOI]

Louise Abigail Dennis

Alan F. T. Winfield

Proceedings of the Artificial Intelligence and Ethics, 2015

2014

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII).

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

Mehdi Dastani

Guido Governatori

J. Log. Comput., 2014

Reconfigurable Autonomy.

[BibT_eX]

[DOI]

Künstliche Intell., 2014

Generating Certification Evidence for Autonomous Unmanned Aircraft Using Model Checking and Simulation.

[BibT_eX]

[DOI]

J. Aerosp. Inf. Syst., 2014

Formal verification of a pervasive messaging system.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours.

[BibT_eX]

[DOI]

Proceedings of the Advances in Autonomous Robotics Systems - 15th Annual Conference, 2014

Actions with Durations and Failures in BDI Languages.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On and On the Temporal Way.

[BibT_eX]

[DOI]

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

Formal Verification of an Autonomous Personal Robotic Assistant.

[BibT_eX]

[DOI]

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Combined model checking for temporal, probabilistic, and real-time logics.

[BibT_eX]

[DOI]

Sven Schewe

Theor. Comput. Sci., 2013

Deductive temporal reasoning with constraints.

[BibT_eX]

[DOI]

J. Appl. Log., 2013

Autonomous Asteroid Exploration by Rational Agents.

[BibT_eX]

[DOI]

IEEE Comput. Intell. Mag., 2013

Verifying autonomous systems.

[BibT_eX]

[DOI]

Matthew P. Webster

Commun. ACM, 2013

Ethical Choice in Unforeseen Circumstances.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013

Using Agent JPF to Build Models for Other Model Checkers.

[BibT_eX]

[DOI]

Matthew P. Webster

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Agent reasoning for norm compliance: a semantic approach.

[BibT_eX]

[DOI]

M. Birna van Riemsdijk

Koen V. Hindriks

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Analysing robot swarm behaviour via probabilistic model checking.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2012

Towards temporal verification of swarm robotic systems.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2012

Model checking agent programming languages.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2012

Symmetric Temporal Theorem Proving.

[BibT_eX]

[DOI]

Amir Niknafs-Kermani

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Verifying Brahms Human-Robot Teamwork Models.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation.

[BibT_eX]

[DOI]

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Agent deliberation in an executable temporal framework.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

Where logic and agents meet.

[BibT_eX]

[DOI]

Jürgen Dix

Manuela-Luminita Bujorianu

Ann. Math. Artif. Intell., 2011

Preface.

[BibT_eX]

[DOI]

Corina S. Pasareanu

Ann. Math. Artif. Intell., 2011

Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification.

[BibT_eX]

[DOI]

Proceedings of the 73rd IEEE Vehicular Technology Conference, 2011

Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems.

[BibT_eX]

[DOI]

Alan F. T. Winfield

Proceedings of the Towards Autonomous Robotic Systems - 12th Annual Conference, 2011

Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

A Formal Semantics for Brahms.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

An Introduction to Practical Formal Methods Using Temporal Logic.

[BibT_eX]

[DOI]

Wiley, ISBN: 978-0-470-02788-2, 2011

2010

Satellite Control Using Rational Agent Programming.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2010

Executable specifications of resource-bounded agents.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2010

Declarative Abstractions for Agent Based Hybrid Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Formal Verification of Probabilistic Swarm Behaviours.

[BibT_eX]

[DOI]

Proceedings of the Swarm Intelligence - 7th International Conference, 2010

An agent based framework for adaptive control and decision making of autonomous vehicles.

[BibT_eX]

[DOI]

Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

2009

Temporal Verification of Fault-Tolerant Protocols.

[BibT_eX]

[DOI]

Proceedings of the Methods, 2009

Uncertain Agent Verification through Probabilistic Model-Checking.

[BibT_eX]

[DOI]

Paolo Ballarini

Proceedings of the Safety and Security in Multiagent Systems, 2009

Property-based Slicing for Agent Verification.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Exploring the Future with Resource-Bounded Agents.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2009

Deductive verification of simple foraging robotic behaviours.

[BibT_eX]

[DOI]

Abdelkader Behdenna

Int. J. Intell. Comput. Cybern., 2009

Towards the Verification of Pervasive Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Agent Based Approaches to Engineering Autonomous Space Software

[BibT_eX]

[DOI]

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Formal verification of human-robot teamwork.

[BibT_eX]

[DOI]

Maarten Sierhuis

Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction, 2009

Taming the Complexity of Temporal Epistemic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Executing Logical Agent Specifications.

[BibT_eX]

[DOI]

Anthony Hepple

Proceedings of the Multi-Agent Programming, Languages, Tools and Applications., 2009

2008

Temporal Representation and Reasoning.

[BibT_eX]

[DOI]

Nivea de Carvalho Ferreira

Proceedings of the Handbook of Knowledge Representation, 2008

Specifying and reasoning about uncertain agents.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2008

Practical First-Order Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Programming Verifiable Heterogeneous Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 2008

Automated Verification of Multi-Agent Programs.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A flexible framework for verifying agent programs.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Logic-Based Agent Verification.

[BibT_eX]

[DOI]

Munindar P. Singh

Diana F. Spears

J. Appl. Log., 2007

Efficient First-Order Temporal Logic for Infinite-State Systems

[BibT_eX]

[DOI]

CoRR, 2007

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends.

[BibT_eX]

[DOI]

Comput. Intell., 2007

Logics in AI: post-proceedings JELIA06 (Editorial).

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

A Common Semantic Basis for BDI Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

A Common Basis for Agent Organisation in BDI Languages.

[BibT_eX]

[DOI]

Anthony Hepple

Proceedings of the Languages, 2007

Tractable Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Temporal Logic with Capacity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Language Constructs for Multi-agent Programming.

[BibT_eX]

[DOI]

Anthony Hepple

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006

Monodic temporal resolution.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

Model Checking for Multiagent Systems: the Mable Language and its Applications.

[BibT_eX]

[DOI]

Marc-Philippe Huget

Simon Parsons

Int. J. Artif. Intell. Tools, 2006

Temporal Logics of Knowledge and their Applications in Security.

[BibT_eX]

[DOI]

Proceedings of the First Workshop in Information and Computer Security, 2006

Guest editorial: Temporal representation and reasoning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Verifying Multi-agent Programs by Model Checking.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2006

Is There a Future for Deductive Temporal Verification?

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2005

Temporal Reasoning in Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

First-Order Temporal Verification in Practice.

[BibT_eX]

[DOI]

J. Autom. Reason., 2005

Mechanising first-order temporal resolution.

[BibT_eX]

[DOI]

Inf. Comput., 2005

Automated Game Analysis via Probabilistic Model Checking: a case study.

[BibT_eX]

[DOI]

Paolo Ballarini

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Alternating automata and temporal logic normal forms.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2005

Practical Infinite-State Verification with Temporal Reasoning.

[BibT_eX]

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

MetateM: The Story so Far.

[BibT_eX]

[DOI]

Nivea de Carvalho Ferreira

Proceedings of the Programming Multi-Agent Systems, 2005

Logical Implementation of Uncertain Agents.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Editorial.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.

[BibT_eX]

[DOI]

Cláudia Nalon

J. Appl. Non Class. Logics, 2004

Model Checking Rational Agents.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2004

Introduction.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

Temporal Development Methods for Agent-Based.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2004

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.

[BibT_eX]

[DOI]

Nivea de Carvalho Ferreira

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Practical Reasoning for Uncertain Agents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Organising Software in Active Environments.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Programming Groups of Rational Agents.

[BibT_eX]

[DOI]

Benjamin Hirsch

Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

State-Space Reduction Techniques in Agent Verification.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Monodic ASMs and Temporal Verification.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

Resolution for Synchrony and No Learning.

[BibT_eX]

[DOI]

Cláudia Nalon

Proceedings of the Advances in Modal Logic 5, 2004

2003

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.

[BibT_eX]

[DOI]

Cláudia Nalon

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Verifiable Multi-agent Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Handling Equality in Monodic Temporal Resolution.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2003

Organising Computation through Dynamic Grouping.

[BibT_eX]

[DOI]

Benjamin Hirsch

Proceedings of the Objects, 2003

Model Checking Multi-Agent Programs with CASP.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Model checking agentspeak.

[BibT_eX]

[DOI]

Carmen Pardavila

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Equality and Monodic First-Order Temporal Logic.

[BibT_eX]

[DOI]

Stud Logica, 2002

On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Combinations of Modal Logics.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2002

Clausal resolution in a logic of rational agency.

[BibT_eX]

[DOI]

Artif. Intell., 2002

Agents with Bounded Temporal Resources.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Applications of Multi-Agent Systems, 2002

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Searching for Invariants Using Temporal Resolution.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2002

Algorithms for Guiding Clausal Temporal Resolution.

[BibT_eX]

[DOI]

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

Organising Logic-Based Agents.

[BibT_eX]

[DOI]

Benjamin Hirsch

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Model checking multi-agent systems with MABLE.

[BibT_eX]

[DOI]

Marc-Philippe Huget

Simon Parsons

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

The abc of rational agent modelling.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Clausal temporal resolution.

[BibT_eX]

[DOI]

Martin Peim

ACM Trans. Comput. Log., 2001

Reasoning about agents in the KARO framework.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Towards First-Order Temporal Resolution.

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000

Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Normal Forms and Proofs in Combined Modal and Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 2000

Verification within the KARO Agent Theory.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Direct Execution of Agent Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Propositional Temporal Resolution Revised.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Continuing research in multi-agent systems.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1999

A clausal resolution method for CTL branching-time temporal logic.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1999

Clausal Resolution for CTL<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Programming Resource-Bounded Deliberative Agents.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Resolution for Temporal Logics of Knowledge.

[BibT_eX]

[DOI]

J. Log. Comput., 1998

Foundations of Multi-Agent Systems: Techniques, Tools and Theory.

[BibT_eX]

[DOI]

Michael Luck

Mark d'Inverno

Knowl. Eng. Rev., 1998

A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1998

The Set of Support Strategy in Temporal Resolution.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

Parallel Temporal Tableaux.

[BibT_eX]

[DOI]

R. I. Scott

John A. Keane

Proceedings of the Euro-Par '98 Parallel Processing, 1998

Representing Abstract Agent Architectures.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 1998

1997

A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

Formalisms for multi-agent systems.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1997

Methodological foundations for agent-based systems.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1997

On the Formal Specification and Verification of Multi-Agent Systems.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1997

Automata Representations for Concurrent METATEM.

[BibT_eX]

[DOI]

Adam Kellett

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

A Resolution Method For CTL Branching-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Tableaux for Synchronous Systems of Knowledge and Time with Interactions.

[BibT_eX]

Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997

Distributed Problem-Solving as Concurrent Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Rationality, 1997

Implementing BDI-like Systems by Direct Execution.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Concurrent METATEM as a Coordination Language.

[BibT_eX]

[DOI]

Adam Kellett

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Agent Modelling in METATEM and DESIRE.

[BibT_eX]

[DOI]

Marco Mulder

Jan Treur

Proceedings of the Intelligent Agents IV, 1997

An alternative approach to concurrent theorem-proving.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing for Artificial Intelligence 3, 1997

1996

An introduction to executable temporal logics.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 1996

Temporal Semantics for Concurrent Metatem.

[BibT_eX]

[DOI]

J. Symb. Comput., 1996

Languages, Meta-languages and METATEM, A Discussion Paper.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.

[BibT_eX]

[DOI]

Proceedings of the Practical Reasoning, 1996

If Z Is the Answer, What Could the Question Possibly Be?

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents III, 1996

1995

METATEM: An Introduction.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1995

Graph Structure Management in Parallel Symbolic Systems.

[BibT_eX]

Robert Johnson

John A. Keane

Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, 1995

1994

A Decision Procedure for a Temporal Belief Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

A Survey of Concurrent METATEM - the Language and its Applications.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

A Graph-Based Approach to Resolution in Temporal Logic.

[BibT_eX]

[DOI]

Howard Barringer

Proceedings of the Temporal Logic, First International Conference, 1994

Representing and Executing Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents, 1994

1993

Concurrent METATEM - A Language for Modelling Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

An Introduction to Executable Modal and Temporal Logics.

[BibT_eX]

[DOI]

Richard Owens

Proceedings of the Executable Modal and Temporal Logics, 1993

Towards a Semantics for Concurrent METATEM.

[BibT_eX]

[DOI]

Proceedings of the Executable Modal and Temporal Logics, 1993

Specifying and Verifying Distributed Intelligence Systems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1993

1992

A Model Checker for Linear Time Temporal Logic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 1992

From the Past to the Future: Executing Temporal Logic Programs.

[BibT_eX]

[DOI]

Richard Owens

Proceedings of the Logic Programming and Automated Reasoning, 1992

A First-Order Branching Time Logic of Multi-Agent System.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

A Normal Form for First-Order Temporal Formulae.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

1991

Meta-Reasoning in Executable Temporal Logic.

[BibT_eX]

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

A Resolution Method for Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1989

METATEM: A Framework for Programming in Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Fair SMG and Linear Time Model Checking.

[BibT_eX]

[DOI]

Howard Barringer