(Online) Strategy synthesis
An extension of Uppaal Stratego for online timed games
Online strategy synthesis
https://collaborating.tuhh.de/e16/project/codes/model-checking/needle-steering/oss/online\_strategy\_synthesizer/-/tree/master/
Driver for offline synthesis https://collaborating.tuhh.de/e16/project/codes/model-checking/needle-steering/oss/online\_strategy\_synthesizer/-/tree/master/x
![](/t3resources/sts/_processed_/9/2/csm_Workflow_91813c81cb.jpg)