Pages that link to "Item:Q629650"
From MaRDI portal
The following pages link to Approximate model checking of stochastic hybrid systems (Q629650):
Displaying 27 items.
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach (Q473311) (← links)
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction (Q832097) (← links)
- Probabilistic timed automata with clock-dependent probabilities (Q1685793) (← links)
- Deep reinforcement learning with temporal logics (Q1996007) (← links)
- Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion (Q2028043) (← links)
- Efficient simulation of general stochastic hybrid systems (Q2085142) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Decisiveness of stochastic systems and its application to hybrid models (Q2105467) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Stochastic hybrid automata with delayed transitions to model biochemical systems with delays (Q2453210) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Measurability and safety verification for stochastic hybrid systems (Q2986712) (← links)
- On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Q2988377) (← links)
- (Q5021008) (← links)
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (Q5054367) (← links)
- Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations (Q5418954) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Model reduction of switched affine systems (Q5890723) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
- Formal controller synthesis for Markov jump linear systems with uncertain dynamics (Q6546444) (← links)
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction (Q6599370) (← links)
