| back to Model Checking of Automated Needle Steering |
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/
GUI https://collaborating.tuhh.de/e16/project/codes/model-checking/needle-steering/oss/oss\_gui/-/tree/master
Driver for offline synthesis https://collaborating.tuhh.de/e16/project/codes/model-checking/needle-steering/oss/online\_strategy\_synthesizer/-/tree/master/x