AMYTISS

MaRDI QIDQ52638swMATHFDO

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

Described by source

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

Cited in

(15)

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

This page was built for software: AMYTISS