Automata techniques for epistemic protocol synthesis

MaRDI QIDQ4994896zbMATH OpenFDO

Authors Guillaume Aucher, Bastien Maubert, Sophie Pinchinat

Publication date 22 June 2021

Full work available at URL https://arxiv.org/abs/1404.0844, http://eptcs.web.cse.unsw.edu.au/paper.cgi?SR2014.13

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Automata and formal grammars in connection with logical questions (03D05) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Automata for epistemic temporal logic with synchronous communication
• Reasoning with protocols under imperfect information
• Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis
• Conditional epistemic planning
• A dynamic epistemic framework for conformant planning

Cited in

(7)

• DEL-based epistemic planning: decidability and complexity
• Intensional protocols for dynamic epistemic logic
• scientific article; zbMATH DE number 4166870 (Why is no real title available?)
• Epistemic protocols for dynamic gossip
• Chain-monadic second order logic over regular automatic trees and epistemic planning synthesis
• Epistemic planning: perspectives on the special issue
• Automata for epistemic temporal logic with synchronous communication

This page was built for publication: Automata techniques for epistemic protocol synthesis

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