BRESOLIN, Davide
BRESOLIN, Davide
DIPARTIMENTO DI INFORMATICA
A Decidable Spatial Generalization of Metric Interval Temporal Logic
2010-01-01 Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G.
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
2011-01-01 Bresolin, Davide; Capiluppi, Marta
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
2013-01-01 Bresolin, Davide; D., Della Monica; A., Montanari; G., Sciavicco
A tableau-based decision procedure for a branching-time interval temporal logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
A tableau-based decision procedure for right propositional neighborhood logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
A tableau-based system for spatial reasoning about directional relations
2009-01-01 Bresolin, Davide; Montanari, A.; Sala, Pietro; Sciavicco, G.
An Optimal Decision Procedure for MPNL over the Integers
2011-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems
2014-01-01 Schreiter, Luzie; Bresolin, Davide; Capiluppi, Marta; Raczkowsky, Joerg; Fiorini, Paolo; Woern, Heinz
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
2012-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Automating Numerical Parameters Along the Evolution of a Nonlinear System
2022-01-01 Geretti, L; Collins, P; Bresolin, D; Villa, T
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
2010-01-01 Bresolin, Davide; Sala, Pietro; Sciavicco, G.
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
2009-01-01 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
Computing the evolution of hybrid systems using rigorous function calculus
2012-01-01 Collins, P.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Correct-by-construction code generation from hybrid automata specification
2011-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification
2008-01-01 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
2014-01-01 Bresolin, Davide; K., El Faqih; Villa, Tiziano; N., Yevtushenko
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model
2012-01-01 Bresolin, Davide; Capiluppi, Marta
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
2013-01-01 Bresolin, Davide; F., Jimenez; G., Sanchez; G., Sciavicco
HyLTL: a temporal logic for model checking hybrid systems
2013-01-01 Bresolin, Davide