Author Search Results :: UTM Library Massive Scholar Tracking

1

HyLTL: a temporal logic for model checking hybrid systems by Davide Bresolin

Published 2013-08-01

Get full text

Article
2

Improving HyLTL model checking of hybrid systems by Davide Bresolin

Published 2013-07-01

Get full text

Article
3

A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems by Davide Bresolin, Marta Capiluppi

Published 2011-06-01

Get full text

Article
4

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic by Davide Bresolin, Pietro Sala, Guido Sciavicco

Published 2010-06-01

Get full text

Article
5

On Sub-Propositional Fragments of Modal Logic by Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco

Published 2018-06-01

Get full text

Article
6

On the Expressive Power of Sub-Propositional Fragments of Modal Logic by Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco

Published 2016-09-01

Get full text

Article
7

An Optimal Decision Procedure for MPNL over the Integers by Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

Published 2011-06-01

Get full text

Article
8

Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power by Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko

Published 2014-08-01

Get full text

Article