Bounded model checking for deontic interpreted systems

MaRDI QIDQ2848072zbMATH OpenFDO

Authors Bożena Woźna, Alessio Lomuscio, Wojciech Penczek

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610500085X

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 2064229
• Deontic Logic in Computer Science
• SAT-based bounded model checking for weighted deontic interpreted systems
• scientific article; zbMATH DE number 2182497
• Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation

Cited in

(12)

• Bounded model checking for knowledge and real time
• Deontic interpreted systems
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• The logic of knowledge based obligation
• Parameterised verification for multi-agent systems
• SAT-based bounded model checking for weighted deontic interpreted systems
• Towards SAT-based BMC for LTLK over interleaved interpreted systems
• Kripke modelling and verification of temporal specifications of a multiple UAV system
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• scientific article; zbMATH DE number 2088151 (Why is no real title available?)
• On the SMT-based verification of communicative commitments
• A formalisation of violation, error recovery, and enforcement in the bit transmission problem

This page was built for publication: Bounded model checking for deontic interpreted systems

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