AMYTISS

swMATH36936MaRDI QIDQ52638FDOQ52638

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• 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

This page was built for software: AMYTISS