Verifying Autonomous Systems

von Dennis, Louise A.
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

EXPLAINING BDI AGENT BEHAVIOUR THROUGH DIALOGUE

von Dennis, Louise A.
Veröffentlicht in AAMAS (20. : 2021 : Online) 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) ; Volume 1 of 3 (2021)

Verifiable autonomous systems : using rational agents to provide assurance about decisions made by machines

von Dennis, Louise A.
Veröffentlicht 2023

Model-Checking Information Diffusion in Social Networks with PRISM

von Dennis, Louise A.
Veröffentlicht in EUMAS (17. : 2020 : Online) Multi-agent systems and agreement technologies (2020)

No Free Lunch: Overcoming Reward Gaming in AI Safety Gridworlds

von Tsvarkaleva, Mariya
Veröffentlicht in SAFECOMP (40. : 2021 : York; Online) Computer Safety, Reliability, and Security (2021)

Plan Library Reconfigurability in BDI Agents

von Cardoso, Rafael C.
Veröffentlicht in International Workshop on Engineering Multi-Agent Systems (7. : 2019 : Montréal) Engineering multi-agent systems (2020)

Implementing Ethical Governors in BDI

von Cardoso, Rafael C.
Veröffentlicht in International Workshop on Engineering Multi-Agent Systems (9. : 2021 : Online) Engineering Multi-Agent Systems (2022)

Implementing Durative Actions with Failure Detection in GWENDOLEN

von Stringer, Peter
Veröffentlicht in International Workshop on Engineering Multi-Agent Systems (9. : 2021 : Online) Engineering Multi-Agent Systems (2022)

An Interface for Programming Verifiable Autonomous Agents in ROS

von Cardoso, Rafael C.
Veröffentlicht in EUMAS (17. : 2020 : Online) Multi-agent systems and agreement technologies (2020)

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

von Koeman, Vincent J.
Veröffentlicht in International Workshop on Engineering Multi-Agent Systems (7. : 2019 : Montréal) Engineering multi-agent systems (2020)

Towards Forward Responsibility in BDI Agents

von Cardoso, Rafael C.
Veröffentlicht in EMAS (11. : 2023 : London) Engineering multi-agent systems (2023)

Integrating Formal Verification and Assurance: An Inspection Rover Case Study

von Bourbouh, Hamza
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)

Engineering multi-agent systems : 7th international workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019 : revised selected papers

Veröffentlicht 2020