The following pages link to FAUST2 (Q35453):
Displaying 16 items.
- Dynamic Bayesian networks for formal verification of structured stochastic processes (Q523135) (← links)
- Formal abstraction and synthesis of parametric stochastic processes (Q832046) (← links)
- Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- A barrier function approach to finite-time stochastic system verification and control (Q2663942) (← links)
- Programming by Composing Filters (Q4645722) (← links)
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources (Q5054367) (← links)
- AMYTISS (Q5146400) (← links)
- SReachTools (Q5239216) (← links)
- StocHy - automated verification and synthesis of stochastic processes (Q5239247) (← links)
- Controller Synthesis for Reward Collecting Markov Processes in Continuous Space (Q5275318) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
