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)

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

This page was built for software: AMYTISS