Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives

From MaRDI portal
Publication:1706170

DOI10.1016/j.ic.2017.08.011zbMath1390.68436arXiv1709.01849OpenAlexW2753745283MaRDI QIDQ1706170

Alberto Molinari, Adriano Peron, Angelo Montanari

Publication date: 21 March 2018

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1709.01849




Related Items (5)


Uses Software


Cites Work


This page was built for publication: Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives