Timed Context-Free Temporal Logics

by Laura Bozzelli, Aniello Murano, Adriano Peron
Published 2018-09-01

Web and Wireless Geographic Information Systems

by Sergio Di Martino, Adriano Peron, Taro Tezuka
Published 2013-06-01

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions

by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Published 2017-09-01

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground

by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron
Published 2018-09-01

Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete

by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
Published 2016-09-01