Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 88
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
On the Complexity of Fragments of Horn Modal Logics 2016 BRESOLIN, DAVIDE + - - Proceedings of the International Workshop on Temporal Representation and Reasoning
Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014) 2016 BRESOLIN, DAVIDE + ACTA INFORMATICA - -
On the expressive power of sub-propositional fragments of modal logic 2016 BRESOLIN, DAVIDE + ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - Electronic Proceedings in Theoretical Computer Science, EPTCS
An introduction to the verification of hybrid systems using ARIADNE 2015 BRESOLIN, DAVIDE + - - Coordination Control of Distributed Systems
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems 2015 BRESOLIN, DAVIDE + PROCEEDINGS OF THE IEEE - -
On the complexity of fragments of the modal logic of Allen’s relations over dense structures 2015 BRESOLIN, DAVIDE + - - Proceedings of the 9th International Conference on Language and Automata Theory and Applications, LATA 2015.
Formal verification of robotic surgery tasks by reachability analysis 2015 BRESOLIN, DAVIDE + MICROPROCESSORS AND MICROSYSTEMS - -
Formal verification applied to robotic surgery 2015 BRESOLIN, DAVIDE + LECTURE NOTES IN CONTROL AND INFORMATION SCIENCE - Coordination Control of Distributed Systems
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity 2014 BRESOLIN, DAVIDE + THEORETICAL COMPUTER SCIENCE - -
DL-Lite and Interval Temporal Logics: a Marriage Proposal 2014 BRESOLIN, DAVIDE + FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS - Proc. of ECAI 2014: 21st European Conference on Artificial Intelligence
The dark side of interval temporal logic: marking the undecidability border 2014 BRESOLIN, DAVIDE + ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE - -
Sub-Propositional Fragments of the Interval Temporal Logic of Allen's Relations 2014 BRESOLIN, DAVIDE + LECTURE NOTES IN COMPUTER SCIENCE - Proc. of JELIA 2014: 14th European Conference on Logics in Artificial Intelligence
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power 2014 BRESOLIN, DAVIDE + ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - GandALF 2014, Fifth International Symposium on Games, Automata, Logics and Formal Verification
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT 2014 BRESOLIN, DAVIDE + ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE - -
Application of contract-based verification techniques for hybrid automata to surgical robotic systems 2014 BRESOLIN, DAVIDE + - - 2014 European Control Conference (ECC)
Assume–guarantee verification of nonlinear hybrid systems with Ariadne 2014 BRESOLIN, DAVIDE + INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL - -
Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools 2014 BRESOLIN, DAVIDE + - - 17th Euromicro Conference on Digital System Design
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers 2013 BRESOLIN, DAVIDE + THEORETICAL COMPUTER SCIENCE - -
Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms 2013 BRESOLIN, DAVIDE + - - Proc. of 12th workshop on Foundations of genetic algorithms (FOGA2013)
A game-theoretic approach to fault diagnosis and identification of hybrid systems 2013 BRESOLIN, DAVIDE + THEORETICAL COMPUTER SCIENCE - -
Mostrati risultati da 21 a 40 di 88
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