scientific article; zbMATH DE number 1962849
From MaRDI portal
Publication:4418686
Recommendations
Cited in
(27)- A quadratic-time DBM-based successor algorithm for checking timed automata
- Forward analysis of updatable timed automata
- Updatable timed automata
- Backward symbolic optimal reachability in weighted timed automata
- Timed automata relaxation for reachability
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- Configurable verification of timed automata with discrete variables
- Model checking for probabilistic timed automata
- Verified model checking of timed automata
- Effective definability of the reachability relation in timed automata
- Real-time verification techniques for untimed systems
- Formalized timed automata
- On improving backwards verification of timed automata (extended abstract)
- Model Checking Real-Time Systems
- Symbolic model checking in non-Boolean domains
- Timed Automata
- scientific article; zbMATH DE number 1500653 (Why is no real title available?)
- scientific article; zbMATH DE number 1796145 (Why is no real title available?)
- Finding minimum and maximum termination time of timed automata models with cyclic behaviour
- A menagerie of timed automata
- An introduction to timed automata
- Lectures on Concurrency and Petri Nets
- scientific article; zbMATH DE number 2242593 (Why is no real title available?)
- Formal Modeling and Analysis of Timed Systems
- A state class based controller synthesis approach for time Petri nets
- A unified model for real-time systems: symbolic techniques and implementation
- Reachability solution characterization of parametric real-time systems
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 Q4418686)
