The following pages link to (Q4536598):
Displaying 15 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Expressiveness and conciseness of timed automata for the verification of stochastic models (Q782571) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- Proving properties of continuous systems: Qualitative simulation and temporal logic (Q1402734) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Consistency in parametric interval probabilistic timed automata (Q2291816) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Calculating Probabilities of Real-Time Test Cases (Q3434607) (← links)
- Trace-Based Semantics for Probabilistic Timed I/O Automata (Q3613020) (← links)
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Q6104804) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction (Q6599370) (← links)
