Sfoglia per Autore
On the Complexity of Fragments of Horn Modal Logics
2016 Bresolin, Davide; Munoz Velasco, Emilio; Sciavicco, Guido
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014)
2016 Bresolin, Davide; Sciavicco, Guido
On the expressive power of sub-propositional fragments of modal logic
2016 Bresolin, Davide; Muñoz Velasco, Emilio; Sciavicco, Guido
An introduction to the verification of hybrid systems using ARIADNE
2015 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; Collins, Pieter
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
On the complexity of fragments of the modal logic of Allen’s relations over dense structures
2015 Bresolin, Davide; Monica Dario, Della; Montanari, Angelo; Sala, Pietro; Sciavicco, Guido
Formal verification of robotic surgery tasks by reachability analysis
2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Formal verification applied to robotic surgery
2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
2014 Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Pietro, Sala; Guido, Sciavicco
DL-Lite and Interval Temporal Logics: a Marriage Proposal
2014 A., Artale; Bresolin, Davide; A., Montanari; G., Sciavicco; V., Ryzhikov
The dark side of interval temporal logic: marking the undecidability border
2014 Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations
2014 Bresolin, Davide; E., Muñoz Velasco; G., Sciavicco
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power
2014 Bresolin, Davide; K., El Fakih; T., Villa; N., Yevtushenko
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
2014 Bresolin, Davide; Dario Della, Monica; Angelo, Montanari; Guido, Sciavicco
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
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
2014 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; L., Geretti; T., Villa
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools
2014 Bresolin, Davide; Luca, Geretti; Riccardo, Muradore; Paolo, Fiorini; Tiziano, Villa
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
A game-theoretic approach to fault diagnosis and identification of hybrid systems
2013 Bresolin, Davide; M., Capiluppi
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