The following pages link to Davide Bresolin (Q391102):
Displaying 50 items.
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers (Q391115) (← links)
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity (Q477203) (← links)
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions (Q636267) (← links)
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- An optimal decision procedure for right propositional neighborhood logic (Q877892) (← links)
- (Q1740651) (redirect page) (← links)
- Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT (Q2251124) (← links)
- The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
- A higher order method for input-affine uncertain systems (Q2677088) (← links)
- On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures (Q2799202) (← links)
- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation (Q2851934) (← links)
- On begins, meets and before (Q2909218) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability (Q2999204) (← links)
- Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders (Q3010361) (← links)
- Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings (Q3185763) (← links)
- Tableaux for Logics of Subinterval Structures over Dense Orderings (Q3406687) (← links)
- (Q3457215) (← links)
- Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders (Q3532458) (← links)
- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic (Q3590963) (← links)
- Relational dual tableaux for interval temporal logics ★ (Q3647240) (← links)
- A Tableau-Based System for Spatial Reasoning about Directional Relations (Q3648726) (← links)
- An Introduction to the Verification of Hybrid Systems Using Ariadne (Q4560619) (← links)
- Formal Verification Applied to Robotic Surgery (Q4560620) (← links)
- (Q4580320) (← links)
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (Q4899145) (← links)
- (Q4963143) (← links)
- (Q4964728) (← links)
- (Q4964731) (← links)
- Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings (Q4982118) (← links)
- (Q4986512) (← links)
- (Q4992508) (← links)
- (Q4995370) (← links)
- (Q5015271) (← links)
- Extracting interval temporal logic rules: a first approach (Q5079773) (← links)
- (Q5111184) (← links)
- A computable and compositional semantics for hybrid automata (Q5146382) (← links)
- (Q5151001) (← links)
- Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms (Q5276108) (← links)
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Q5369240) (← links)
- Logics in Artificial Intelligence (Q5394149) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
- Tableau Systems for Logics of Subinterval Structures over Dense Orderings (Q5434480) (← links)
- On Decidability and Expressiveness of Propositional Interval Neighborhood Logics (Q5434500) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479269) (← links)
- Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification (Q5505583) (← links)
- Most General Property-Preserving Updates (Q5739011) (← links)
