FAUST2
From MaRDI portal
swMATH23682MaRDI QIDQ35453FDOQ35453
Author name not available (Why is that?)
Official website: https://sourceforge.net/projects/faust2/
Cited In (28)
- Lang2LTL
- 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
- ProbReach
- SCOTS
- SReach
- Verification of general Markov decision processes by approximate similarity relations and policy refinement
- MauveDB
- TelegraphCQ
- pFaces
- SReachTools
- SReachTools
- AMYTISS
- AMYTISS
- StocHy
- 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
- DeepSynth
- Safety Gym
- 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
