Logo Institut für Software Systeme
Institut für Software Systeme
Logo Institut für Software Systeme
Institut für Software Systeme
EN
DE
Suche
EN
DE
Suche
Menü öffnen
Mehr
(Online) Virtual needle steering
Interfacing the Real-Time Model Checker Uppaal
Cyber-physical needle steering setup
(Online) Strategy synthesis
Models
Videos
STS > Research > Model Checking & Abstract Interpretation > (Online) Strategy synthesis

| back to Model Checking of Automated Needle Steering |

(Online) Strategy synthesis

An extension of Uppaal Stratego for online timed games

Online strategy synthesis
Online strategy synthesis at GITLab

GUI
GUI at GITLab

Driver for offline synthesis
Driver for offline synthesis at GITLab

Feedback loop for strategy synthesis: needle motion instruction, based on image recording and image analysis on the one hand, the specification of different safe strategies (in form of a Uppaal model) on the other hand
TU Hamburg
Institut für Softwaresysteme (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-Mail : sts-office@tuhh.de
Tel : 040-42878-3460
Weiterführende Links
Imprint / Impressum
Privacy / Datenschutz