scientific article; zbMATH DE number 7455746
From MaRDI portal
Publication:5021008
Thomas Brihaye, Patricia Bouyer, Mickael Randour, Pierre Vandenhove, Cédric Rivière
Publication date: 11 January 2022
Full work available at URL: https://arxiv.org/abs/2001.04347
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Unnamed Item ⋮ Unnamed Item ⋮ Decisiveness of stochastic systems and its application to hybrid models ⋮ Timed games with bounded window parity objectives
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stochastic hybrid systems: a powerful framework for complex, large scale applications
- Approximate model checking of stochastic hybrid systems
- Stochastic reachability analysis of hybrid systems.
- The algorithmic analysis of hybrid systems
- First order tameness of measures
- What's decidable about hybrid automata?
- A theory of timed automata
- When are stochastic transition systems tameable?
- Updatable timed automata
- Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23--25, 2000. Proceedings
- O-minimal hybrid systems.
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Stochastic Timed Automata
- Stochastic hybrid systems for studying biochemical processes
- Stochastic Hybrid Systems
- Definable Sets in Ordered Structures. I
- Definable Sets in Ordered Structures. II
- Composition of Stochastic Transition Systems Based on Spans and Couplings
- An additive measure in o-minimal expansions of fields
- Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Decisive Markov Chains
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- Formal Modeling and Analysis of Timed Systems
This page was built for publication:
