BRESOLIN, Davide

BRESOLIN, Davide  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.019 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 higher order method for input-affine uncertain systems 1-gen-2023 Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter
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
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 Right Propositional Neighborhood Logic 1-gen-2007 Bresolin, Davide; Angelo, Montanari; Guido, 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
Formal verification of medical CPS: a laser incision case study 1-gen-2018 Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano
Formal verification of robotic surgery tasks by reachability analysis 1-gen-2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
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
Metric propositional neighborhood logics on natural numbers 1-gen-2013 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
On Begin, Meets and Before 1-gen-2012 Bresolin, Davide; Sala, Pietro; 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
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 1-gen-2009 Bresolin, Davide; V., Goranko; A., Montanari; G., Sciavicco
Relational dual tableaux for interval temporal logics 1-gen-2006 Bresolin, Davide; Joanna Golinska, Pilarek; Ewa, Orlowska
Robotic surgery 1-gen-2011 Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano
Tableaux for Logics of Subinterval Structures over Dense Orderings 1-gen-2010 Bresolin, Davide; V., Goranko; A., Montanari; Sala, Pietro
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
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