Decidability of model checking multi-agent systems against a class of EHS specifications
From MaRDI portal
Publication:5283018
zbMATH Open1366.68179MaRDI QIDQ5283018FDOQ5283018
Jakub Michaliszyn, Alessio R. Lomuscio
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/36997
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Cited In (16)
- Complexity analysis of a unifying algorithm for model checking interval temporal logic
- Which fragments of the interval temporal logic HS are tractable in model checking?
- Title not available (Why is that?)
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
- Model checking interval temporal logics with regular expressions
- Title not available (Why is that?)
- Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
- Checking interval properties of computations
- Title not available (Why is that?)
- \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes
- Interval vs. Point Temporal Logic Model Checking
- Constraining cycle alternations in model checking for interval temporal logic
- Title not available (Why is that?)
- Interval Temporal Logic for Visibly Pushdown Systems
- A separation theorem for discrete-time interval temporal logic
This page was built for publication: Decidability of model checking multi-agent systems against a class of EHS specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283018)
