Sfoglia per Autore
Open Problems in Verification and Refinement of Autonomous Robotic Systems
2012-01-01 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Interval Temporal Logics over Finite Linear Orders: the Complete Picture
2012-01-01 Bresolin, Davide; D., Della Monica; A., Montanari; Sala, Pietro; G., Sciavicco
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
2013-01-01 Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Guido, Sciavicco
The dark side of interval temporal logic: marking the undecidability border
2013-01-01 Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
Metric propositional neighborhood logics on natural numbers
2013-01-01 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
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 game-theoretic approach to fault diagnosis and identification of hybrid systems
2013-01-01 Bresolin, Davide; Capiluppi, Marta
HyLTL: a temporal logic for model checking hybrid systems
2013-01-01 Bresolin, Davide
Improving HyLTL model checking of hybrid systems
2013-01-01 Bresolin, Davide
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms
2013-01-01 Bresolin, Davide; F., Jimenez; G., Sanchez; G., Sciavicco
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers
2013-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Assume-guarantee verification of nonlinear hybrid systems with Ariadne
2014-01-01 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
2014-01-01 Bresolin, Davide; K., El Faqih; Villa, Tiziano; N., Yevtushenko
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools
2014-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
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
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014-01-01 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems
2015-01-01 Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Formal verification of robotic surgery tasks by reachability analysis
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
2015-01-01 Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Formal Verification Applied to Robotic Surgery
2015-01-01 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Open Problems in Verification and Refinement of Autonomous Robotic Systems | 1-gen-2012 | Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
Interval Temporal Logics over Finite Linear Orders: the Complete Picture | 1-gen-2012 | Bresolin, Davide; D., Della Monica; A., Montanari; Sala, Pietro; G., Sciavicco | |
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT | 1-gen-2013 | Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Guido, Sciavicco | |
The dark side of interval temporal logic: marking the undecidability border | 1-gen-2013 | Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco | |
Metric propositional neighborhood logics on natural numbers | 1-gen-2013 | Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco | |
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 game-theoretic approach to fault diagnosis and identification of hybrid systems | 1-gen-2013 | Bresolin, Davide; Capiluppi, Marta | |
HyLTL: a temporal logic for model checking hybrid systems | 1-gen-2013 | Bresolin, Davide | |
Improving HyLTL model checking of hybrid systems | 1-gen-2013 | Bresolin, Davide | |
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms | 1-gen-2013 | Bresolin, Davide; F., Jimenez; G., Sanchez; G., Sciavicco | |
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers | 1-gen-2013 | Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco | |
Assume-guarantee verification of nonlinear hybrid systems with Ariadne | 1-gen-2014 | L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano | |
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power | 1-gen-2014 | Bresolin, Davide; K., El Faqih; Villa, Tiziano; N., Yevtushenko | |
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools | 1-gen-2014 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
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 | |
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity | 1-gen-2014 | Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | |
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems | 1-gen-2015 | Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano | |
Formal verification of robotic surgery tasks by reachability analysis | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano | |
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures | 1-gen-2015 | Bresolin, Davide; Della Monica, Dario; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido | |
Formal Verification Applied to Robotic Surgery | 1-gen-2015 | Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano |
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