AMYTISS

swMATH36936MaRDI QIDQ52638

No author found.

Described by source

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

Related Items (3)

Formal abstraction and synthesis of parametric stochastic processes ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

This page was built for software: AMYTISS