A comparison of SMT-solvers for timed weighted interpreted systems
DOI10.16926/M.2016.21.15OpenAlexW2585494974MaRDI QIDQ5040702FDOQ5040702
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
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
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)
Cited In (2)
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)
