Our Quest for the Holy Grail of Agent Verification

DOI10.1007/978-3-540-73099-6_2MaRDI QIDQ5434474zbMATH OpenOpenAlexFDO

Authors John-Jules Meyer

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Assurance of agent systems: what role should formal verification play?
• A verification logic for goal agents
• Secure agents
• scientific article; zbMATH DE number 1759732
• Directions for agent model checking

Cited in

(4)

• Assurance of agent systems: what role should formal verification play?
• scientific article; zbMATH DE number 1560502 (Why is no real title available?)
• scientific article; zbMATH DE number 1759752 (Why is no real title available?)
• GOAL Agents Instantiate Intention Logic

Describes a project that uses

Uses Software

• KARO
• AgentSpeak
• METATEM

This page was built for publication: Our Quest for the Holy Grail of Agent Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5434474)