AMYTISS

swMATH36936MaRDI QIDQ52638FDOQ52638

Author name not available (Why is that?)

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
• 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
• DeepSynth
• Safety Gym
• SeDuMi Interface
• MoChiBA

This page was built for software: AMYTISS