SAT-based bounded model checking for weighted deontic interpreted systems

DOI10.3233/FI-2016-1310MaRDI QIDQ2968861zbMATH OpenFDO

Authors Bożena Woźna-Szcześniak

Publication date 22 March 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2016-1310

Mathematics Subject Classification ID

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

Recommendations

• Bounded model checking for deontic interpreted systems
• Bounded model checking for knowledge and real time
• Towards SAT-based BMC for LTLK over interleaved interpreted systems
• SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties
• A comparison of SMT-solvers for timed weighted interpreted systems

Cited in

(2)

• Bounded model checking for deontic interpreted systems
• A comparison of SMT-solvers for timed weighted interpreted systems

This page was built for publication: SAT-based bounded model checking for weighted deontic interpreted systems

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