BRESOLIN, Davide

BRESOLIN, Davide  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 67 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A game-theoretic approach to fault diagnosis and identification of hybrid systems 1-gen-2013 Bresolin, Davide; Capiluppi, Marta
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 1-gen-2011 Bresolin, Davide; Capiluppi, Marta
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 1-gen-2013 Bresolin, Davide; D., Della Monica; A., Montanari; G., Sciavicco
A tableau-based decision procedure for a branching-time interval temporal logic 1-gen-2005 Bresolin, Davide; Angelo, Montanari
A tableau-based decision procedure for right propositional neighborhood logic 1-gen-2005 Bresolin, Davide; Angelo, Montanari
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 1-gen-2005 Bresolin, Davide; Angelo, Montanari
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 1-gen-2009 Bresolin, Davide; A., Montanari; G., Puppis
An Optimal Decision Procedure for MPNL over the Integers 1-gen-2011 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
An optimal decision procedure for Right Propositional Neighborhood Logic 1-gen-2007 Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 1-gen-2006 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Application of Contract-based verification techniques for Hybrid Automata to Surgical Robotic Systems 1-gen-2014 Schreiter, Luzie; Bresolin, Davide; Capiluppi, Marta; Raczkowsky, Joerg; Fiorini, Paolo; Woern, Heinz
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 1-gen-2012 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 1-gen-2014 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Automating Numerical Parameters Along the Evolution of a Nonlinear System 1-gen-2022 Geretti, L; Collins, P; Bresolin, D; Villa, T
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic 1-gen-2010 Bresolin, Davide; Sala, Pietro; Sciavicco, G.
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings 1-gen-2009 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
Computing the evolution of hybrid systems using rigorous function calculus 1-gen-2012 Collins, P.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Correct-by-construction code generation from hybrid automata specification 1-gen-2011 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 1-gen-2008 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
A Decidable Spatial Generalization of Metric Interval Temporal Logic 1-gen-2010 Bresolin, Davide; Sala, Pietro; Della Monica, D.; Montanari, A.; Sciavicco, G.