(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