BRESOLIN, DAVIDE
BRESOLIN, DAVIDE
Dipartimento di Matematica "Tullio Levi-Civita" - DM
A computable and compositional semantics for hybrid automata
2020 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Gonzalez, Sanja Živanović
A Decidable Spatial Generalization of Metric Interval Temporal Logic
2010 Bresolin, Davide; Sala, P.; Della Monica, D.; Montanari, A.; Sciavicco, G.
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions
2013 Bresolin, Davide; M., Capiluppi
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013 Bresolin, Davide; M., Capiluppi
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
2011 Bresolin, Davide; M., Capiluppi
A higher order method for input-affine uncertain systems
2023 Zivanovic Gonzalez, S.; Geretti, L.; Bresolin, D.; Villa, T.; Collins, P.
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
2015 Nuzzo, Pierluigi; Sangiovanni Vincentelli Alberto, L.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
2013 Bresolin, Davide; D., Della Monica; A., Montanari; G., Sciavicco
A tableau-based decision procedure for a branching-time interval temporal logic
2005 Bresolin, Davide; Angelo, Montanari
A Tableau-based decision procedure for Right Propositional Neighborhood Logic
2005 Bresolin, Davide; Angelo, Montanari
A tableau-based decision procedure for right propositional neighborhood logic
2005 Bresolin, Davide; Angelo, Montanari
A tableau-based system for spatial reasoning about directional relations
2009 Bresolin, Davide; Montanari, A.; Sala, P.; Sciavicco, G.
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity
2009 Bresolin, Davide; A., Montanari; G., Puppis
An introduction to the verification of hybrid systems using ARIADNE
2015 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
An Optimal Decision Procedure for MPNL over the Integers
2011 Bresolin, Davide; A., Montanari; P., Sala; G., Sciavicco
An optimal decision procedure for Right Propositional Neighborhood Logic
2007 Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2006 Bresolin, Davide; Angelo, Montanari; Pietro, Sala
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2007 Bresolin, Davide; Angelo, Montanari; Pietro, Sala
Application of contract-based verification techniques for hybrid automata to surgical robotic systems
2014 Luzie, Schreiter; Bresolin, Davide; Marta, Capiluppi; Joerg, Raczkowsky; Paolo, Fiorini; Heinz, Woern
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
2012 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; L., Geretti; T., Villa