FAUST2
From MaRDI portal
Software:35453
swMATH23682MaRDI QIDQ35453FDOQ35453
Author name not available (Why is that?)
Cited In (16)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Formal abstraction and synthesis of parametric stochastic processes
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
- Lagrangian approximations for stochastic reachability of a target tube
- Programming by Composing Filters
- Controller Synthesis for Reward Collecting Markov Processes in Continuous Space
- Automated verification and synthesis of stochastic hybrid systems: a survey
- SReachTools
- AMYTISS
- StocHy - automated verification and synthesis of stochastic processes
- Compositional abstraction-based synthesis for networks of stochastic switched systems
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
- A barrier function approach to finite-time stochastic system verification and control
- Model-Based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources
- Dynamic Bayesian networks for formal verification of structured stochastic processes
This page was built for software: FAUST2
