BRESOLIN, DAVIDE

BRESOLIN, DAVIDE  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 88 (tempo di esecuzione: 0.064 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
A computable and compositional semantics for hybrid automata 2020 Bresolin, Davide + - - HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
A Decidable Spatial Generalization of Metric Interval Temporal Logic 2010 BRESOLIN, DAVIDE + - - 17th International Symposium on Temporal Representation and Reasoning (TIME 2010)
A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions 2013 BRESOLIN, DAVIDE + - - Proc. of 2nd International Conference on Control and Fault-Tolerant Systems (SysTol'13)
A game-theoretic approach to fault diagnosis and identification of hybrid systems 2013 BRESOLIN, DAVIDE + THEORETICAL COMPUTER SCIENCE - -
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems 2011 BRESOLIN, DAVIDE + ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification
A higher order method for input-affine uncertain systems 2023 Bresolin D. + NONLINEAR ANALYSIS - -
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 2015 BRESOLIN, DAVIDE + PROCEEDINGS OF THE IEEE - -
A tableau system for right propositional neighborhood logic over finite linear orders: an implementation 2013 BRESOLIN, DAVIDE + LECTURE NOTES IN ARTIFICIAL INTELLIGENCE LECTURE NOTES IN COMPUTER SCIENCE 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2013)
A tableau-based decision procedure for a branching-time interval temporal logic 2005 BRESOLIN, DAVIDE + - - 4th International Workshop on Methods for Modalities M4M-4
A tableau-based decision procedure for right propositional neighborhood logic 2005 BRESOLIN, DAVIDE + LECTURE NOTES IN ARTIFICIAL INTELLIGENCE - 14th International Conference TABLEAUX 2005
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 2005 BRESOLIN, DAVIDE + - - -
A tableau-based system for spatial reasoning about directional relations 2009 BRESOLIN, DAVIDE + LECTURE NOTES IN ARTIFICIAL INTELLIGENCE - TABLEAUX 2009: 18th Conference on Automated Reasoning with Analytic Tableaux
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 2009 BRESOLIN, DAVIDE + ACTA INFORMATICA - -
An introduction to the verification of hybrid systems using ARIADNE 2015 BRESOLIN, DAVIDE + - - Coordination Control of Distributed Systems
An Optimal Decision Procedure for MPNL over the Integers 2011 BRESOLIN, DAVIDE + ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification
An optimal decision procedure for Right Propositional Neighborhood Logic 2007 BRESOLIN, DAVIDE + JOURNAL OF AUTOMATED REASONING - -
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 2006 BRESOLIN, DAVIDE + - - -
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 2007 BRESOLIN, DAVIDE + LECTURE NOTES IN COMPUTER SCIENCE - 24th Annual Symposium on Theoretical Aspects of Computer Science STACS 2007
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 2014 BRESOLIN, DAVIDE + - - 2014 European Control Conference (ECC)
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 2012 BRESOLIN, DAVIDE + LECTURE NOTES IN COMPUTER SCIENCE - -