Bounded model checking for deontic interpreted systems
From MaRDI portal
Publication:2848072
zbMATH Open1272.68279MaRDI QIDQ2848072FDOQ2848072
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
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
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cited In (12)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- Parameterised verification for multi-agent systems
- On the SMT-based verification of communicative commitments
- Title not available (Why is that?)
- Bounded model checking for knowledge and real time
- SAT-based bounded model checking for weighted deontic interpreted systems
- Kripke modelling and verification of temporal specifications of a multiple UAV system
- Title not available (Why is that?)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- The logic of knowledge based obligation
- Deontic interpreted systems
- Towards SAT-based BMC for LTLK over interleaved interpreted systems
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)
