scientific article; zbMATH DE number 6747947

zbMath1366.68179MaRDI QIDQ5283018

Jakub Michaliszyn, Alessio R. Lomuscio

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/36997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items

Complexity analysis of a unifying algorithm for model checking interval temporal logic ⋮ Checking interval properties of computations ⋮ A separation theorem for discrete-time interval temporal logic ⋮ Model checking interval temporal logics with regular expressions ⋮ \textsc{Pspace}-completeness of the temporal logic of sub-intervals and suffixes ⋮ Interval Temporal Logic for Visibly Pushdown Systems ⋮ Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval vs. Point Temporal Logic Model Checking ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Which fragments of the interval temporal logic HS are tractable in model checking? ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ Constraining cycle alternations in model checking for interval temporal logic ⋮ Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments