AMYTISS

MaRDI QIDQ52638swMATHFDO

Official website https://arxiv.org/abs/2005.06191

Described by source

• \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
• AMYTISS

Cited in

(15)

• Lang2LTL
• Formal abstraction and synthesis of parametric stochastic processes
• ProbReach
• SCOTS
• SReach
• FAUST2
• pFaces
• SReachTools
• StocHy
• Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations
• DeepSynth
• Safety Gym
• Automated verification and synthesis of stochastic hybrid systems: a survey
• SeDuMi Interface
• MoChiBA

This page was built for software: AMYTISS