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
- Model-based formal reliability analysis of grid dynamics with solar energy sources
- Lagrangian approximations for stochastic reachability of a target tube
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
- 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
- Controller synthesis for reward collecting Markov processes in continuous space
- Programming by composing filters
- A barrier function approach to finite-time stochastic system verification and control
- Dynamic Bayesian networks for formal verification of structured stochastic processes
This page was built for software: FAUST2
