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)

Programming multi-agent systems : 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 ; revised selected papers

Veröffentlicht 2012

Lettres d'amour de Voltaire à sa nièce

von Voltaire
Veröffentlicht 1957

Voltaire et sa niece Madame Denis

von Stern, Jean
Veröffentlicht 1957

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

von Alves, Gleifer Vaz
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)

Lettres d'Alsace à sa nièce Madame Denis

von Voltaire
Veröffentlicht 19371938

Lettre A Madame D*** [i.e. Marie Louise Mignot, verwitwete Denis]

von La Beaumelle, Laurent Angliviel de
Veröffentlicht in Réponse Au Supplément Du Siecle De Louis XIV. / [Laurent Angliviel de La Beaumelle] (1754)

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)

Uncertain Machine Ethical Decisions Using Hypothetical Retrospection

von Kolker, Simon
Veröffentlicht in COINE (2023 : London) Coordination, organizations, institutions, norms, and ethics for governance of multi-agent systems XVI (2023)

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)

Cinquieme Recueil De Nouvelles Pieces Fugitives De Mr. De Voltaire

von Voltaire
Veröffentlicht

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)

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)

Lettres inédites à Marie-Louise Denis (1737-1744) : Voltaire et sa chère nièce

von Voltaire
Veröffentlicht 2023

Towards Forward Responsibility in BDI Agents

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

Lettres inédites à Marie-Louise Denis (1737-1744) : Voltaire et sa chère nièce

von Voltaire
Veröffentlicht 2023