Probabilistic and Topological Semantics for Timed Automata
From MaRDI portal
Publication:5458833
DOI10.1007/978-3-540-77050-3_15zbMath1135.68464OpenAlexW1496392897MaRDI QIDQ5458833
Thomas Brihaye, Patricia Bouyer, Nathalie Bertrand, Marcus Größer, Christel Baier
Publication date: 24 April 2008
Published in: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77050-3_15
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (10)
Baire Category Quantifier in Monadic Second Order Logic ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ When are stochastic transition systems tameable? ⋮ Timed Symbolic Dynamics ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Robust Analysis of Timed Automata Via Channel Machines ⋮ Probabilistic and Topological Semantics for Timed Automata ⋮ Timed Automata Can Always Be Made Implementable ⋮ A maximal entropy stochastic process for a timed automaton
Cites Work
- A theory of timed automata
- Robust Model-Checking of Linear-Time Properties in Timed Automata
- A classification of symbolic transition systems
- Hybrid Systems: Computation and Control
- Validation of Stochastic Systems
- Probabilistic and Topological Semantics for Timed Automata
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Hybrid Systems: Computation and Control
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Probabilistic and Topological Semantics for Timed Automata