Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.

Alberto Molinari, Angelo Montanari, Adriano Peron

Browse the full TIME paper archive.