| back to Model Checking of Automated Needle Steering |
An extension of Uppaal Stratego for online timed games
Online strategy synthesisOnline strategy synthesis at GITLab
GUIGUI at GITLab
Driver for offline synthesisDriver for offline synthesis at GITLab