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