Sfoglia per Autore
Improving HyLTL model checking of hybrid systems
2013 Bresolin, Davide
HyLTL: a temporal logic for model checking hybrid systems
2013 Bresolin, Davide
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013 Bresolin, Davide; M., Capiluppi
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
2013 Bresolin, Davide; A., Montanari; P., Sala; G., Sciavicco
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
2013 Bresolin, Davide; F., Jimenez; G., Sanchez; G., Sciavicco
On Begin, Meets and Before
2012 Bresolin, Davide; P., Sala; G., Sciavicco
Fault Diagnosis of Hybrid Systems: an Onboard Camera Model
2012 Bresolin, Davide; M., Capiluppi
Interval Temporal Logics over Finite Linear Orders: the Complete Picture
2012 Bresolin, Davide; D., Della Monica; A., Montanari; P., Sala; G., Sciavicco
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
2012 Bresolin, Davide; D., Della Monica; A., Montanari; P., Sala; G., Sciavicco
Computing the evolution of hybrid systems using rigorous function calculus
2012 Collins, P.; Bresolin, Davide; Geretti, L.; Villa, T.
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
2012 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; L., Geretti; T., Villa
Open Problems in Verification and Refinement of Autonomous Robotic Systems
2012 Bresolin, Davide; L., Di Guglielmo; L., Geretti; R., Muradore; P., Fiorini; T., Villa
Correct-by-construction code generation from hybrid automata specification
2011 Bresolin, Davide; Di Guglielmo, L.; Geretti, L; Villa, T.
The dark side of Interval Temporal Logic: sharpening the undecidability border
2011 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems
2011 Bresolin, Davide; M., Capiluppi
Robotic surgery: formal verification of plans
2011 Muradore, R.; Bresolin, Davide; Geretti, L.; Fiorini, P.; Villa, T.
An Optimal Decision Procedure for MPNL over the Integers
2011 Bresolin, Davide; A., Montanari; P., Sala; G., Sciavicco
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
2011 Bresolin, Davide; A., Montanari; P., Sala; G., Sciavicco
The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment of CDT
2011 Bresolin, Davide; D., Della Monica; A., Montanari; G., Sciavicco
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL
2011 Bresolin, Davide; A., Montanari; P., Sala; G., Sciavicco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile