scientific article; zbMATH DE number 1444348
From MaRDI portal
Publication:4953389
zbMATH Open0944.93018MaRDI QIDQ4953389FDOQ4953389
Authors: Thomas A. Henzinger, Jean-François Raskin 
Publication date: 18 September 2000
Title of this publication is not available (Why is that?)
Recommendations
- SOFSEM 2005: Theory and Practice of Computer Science
- Robustness in timed automata
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Robust parametric reachability for timed automata
- On the determinization of timed systems
- scientific article; zbMATH DE number 1301623
- scientific article; zbMATH DE number 7577576
- Symbolic Robustness Analysis of Timed Automata
- scientific article; zbMATH DE number 1927563
- Robust safety of timed automata
Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65) Perturbations in control/observation systems (93C73)
Cited In (22)
- Relating syntactic and semantic perturbations of hybrid automata
- Probabilistic and Topological Semantics for Timed Automata
- Decisiveness of stochastic systems and its application to hybrid models
- A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning
- Safety verification of non-linear hybrid systems is quasi-decidable
- Testing membership for timed automata
- A computable and compositional semantics for hybrid systems
- On reachability for hybrid automata over bounded time
- Time-Bounded Verification
- Verification of Hybrid Systems
- Robustness of temporal logic specifications for continuous-time signals
- Title not available (Why is that?)
- The Unmet Challenge of Timed Systems
- On the decidability and complexity of problems for restricted hierarchical hybrid systems
- Time robustness in MTL and expressivity in hybrid system falsification
- Robust reachability in timed automata and games: a game-based approach
- Entropy of regular timed languages
- Computation with perturbed dynamical systems
- Thin and thick timed regular languages
- Title not available (Why is that?)
- Linear Time Monitoring for One Variable TPTL
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953389)
