Pages that link to "Item:Q2843996"
From MaRDI portal
The following pages link to (Hybrid) automata and (stochastic) programs. The hybrid automata lattice of a stochastic program (Q2843996):
Displaying 6 items.
- Hybrid behaviour of Markov population models (Q259041) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- Hybrid semantics for Bio-PEPA (Q2453221) (← links)
- Mean-Field Limits Beyond Ordinary Differential Equations (Q2822663) (← links)
- Stochastic Programs and Hybrid Automata for (Biological) Modeling (Q3576036) (← links)