Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
More
(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

(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
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz