A comparison of SMT-solvers for timed weighted interpreted systems

DOI10.16926/M.2016.21.15MaRDI QIDQ5040702zbMATH OpenOpenAlexFDO

Authors Agnieszka M. Zbrzezny

Publication date 17 October 2022

Published in Scientific Issues Jan Długosz University in Częstochowa. Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.16926/m.2016.21.15

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
• Simple SMT-based bounded model checking for timed interpreted systems
• Checking EMTLK properties of timed interpreted systems via bounded model checking
• SAT-based bounded model checking for weighted deontic interpreted systems
• SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties

Cited in

(2)

• SAT-based bounded model checking for weighted deontic interpreted systems
• Advanced SMT techniques for weighted model integration

This page was built for publication: A comparison of SMT-solvers for timed weighted interpreted systems

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