Louise A. Dennis

According to our database1, Louise A. Dennis authored at least 86 papers between 1997 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Explaining BDI agent behaviour through dialogue.
Auton. Agents Multi Agent Syst., 2022

2021
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.
ACM Trans. Softw. Eng. Methodol., 2021

An Overview of Verification and Validation Challenges for Inspection Robots.
Robotics, 2021

A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations.
J. Sens. Actuator Networks, 2021

IEEE P7001: A Proposed Standard on Transparency.
Frontiers Robotics AI, 2021

Conference reports.
AI Matters, 2021

SIGAI annual report: July 1 2020 - June 30 2021.
AI Matters, 2021

No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Agile Tasking of Robotic Systems with Explicit Autonomy.
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Implementing Durative Actions with Failure Detection in Gwendolen.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Implementing Ethical Governors in BDI.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Verifiable Machine Ethics in Changing Contexts.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Computational Goals, Values and Decision-Making.
Sci. Eng. Ethics, 2020

Verifiable Self-Aware Agent-Based Autonomous Systems.
Proc. IEEE, 2020

Towards Compositional Verification for Modular Robotic Systems.
Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Adaptable and Verifiable BDI Reasoning.
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

Events.
AI Matters, 2020

SIGAI annual report: July 1 2019 - June 30 2020.
AI Matters, 2020

Model-Checking Information Diffusion in Social Networks with PRISM.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

An Interface for Programming Verifiable Autonomous Agents in ROS.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

2019
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots.
Proc. IEEE, 2019

Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM Comput. Surv., 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
CoRR, 2019

Modular Verification of Autonomous Space Robotics.
CoRR, 2019

Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
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.
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.
Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Plan Library Reconfigurability in BDI Agents.
Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

2018
Two-stage agent program verification.
J. Log. Comput., 2018

The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder.
J. Open Source Softw., 2018

Autonomous Nuclear Waste Management.
IEEE Intell. Syst., 2018

Verifying and Validating Autonomous Systems: Towards an Integrated Approach.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Verifiable Self-Certifying Autonomous Systems.
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Practical Challenges in Explicit Ethical Machine Reasoning.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2018

Slicing Agent Programs for More Efficient Verification.
Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

Recognising Assumption Violations in Autonomous Systems Verification.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018


Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017
Formal verification of autonomous vehicle platooning.
Sci. Comput. Program., 2017

Towards Moral Autonomous Systems.
CoRR, 2017

2016
Formal verification of ethical choices in autonomous systems.
Robotics Auton. Syst., 2016

Practical verification of decision-making in agent-based autonomous systems.
Autom. Softw. Eng., 2016

Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice.
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.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

2015
An abstract formal basis for digital crowds.
Distributed Parallel Databases, 2015

A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Towards Verifiably Ethical Robot Behaviour.
Proceedings of the Artificial Intelligence and Ethics, 2015

2014
Reconfigurable Autonomy.
Künstliche Intell., 2014

Actions with Durations and Failures in BDI Languages.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Autonomous Asteroid Exploration by Rational Agents.
IEEE Comput. Intell. Mag., 2013

Verifying autonomous systems.
Commun. ACM, 2013

Ethical Choice in Unforeseen Circumstances.
Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013

Using Agent JPF to Build Models for Other Model Checkers.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Agent reasoning for norm compliance: a semantic approach.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Model checking agent programming languages.
Autom. Softw. Eng., 2012

Verifying Brahms Human-Robot Teamwork Models.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011
The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling.
J. Autom. Reason., 2011

Plan Indexing for State-Based Plans.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

A Formal Semantics for Brahms.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010
Satellite Control Using Rational Agent Programming.
IEEE Intell. Syst., 2010

Declarative Abstractions for Agent Based Hybrid Control Systems.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

An agent based framework for adaptive control and decision making of autonomous vehicles.
Proceedings of the 10th IFAC International Workshop on the Adaptation and Learning in Control and Signal Processing, 2010

2009
Towards the Verification of Pervasive Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Agent Based Approaches to Engineering Autonomous Space Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Model Checking Normative Agent Organisations.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008
Programming Verifiable Heterogeneous Agent Systems.
Proceedings of the Programming Multi-Agent Systems, 2008

Automated Verification of Multi-Agent Programs.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

A flexible framework for verifying agent programs.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Enhancing Theorem Prover Interfaces with Program Slice Information.
Electron. Notes Theor. Comput. Sci., 2007

A Common Semantic Basis for BDI Languages.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

A Common Basis for Agent Organisation in BDI Languages.
Proceedings of the Languages, 2007

Language Constructs for Multi-agent Programming.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2005
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner.
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

An Architecture for Proof Planning Systems.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2003
The PROSPER toolkit.
Int. J. Softw. Tools Technol. Transf., 2003

2002
A Comparison of Two Proof Critics: Power vs. Robustness.
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

The NumbersWithNames Program.
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.
Proceedings of the Artificial Intelligence, 2002

2001
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain.
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

2000
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts.
Ann. Math. Artif. Intell., 2000

The PROSPER Toolkit.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

System Description: Embedding Verification into Microsoft Excel.
Proceedings of the Automated Deduction, 2000

1998
Proof planning coinduction.
PhD thesis, 1998

1997
Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.
Proceedings of the Automated Deduction, 1997


  Loading...