Login / Signup
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga.
Kim Guldstrand Larsen
Adrien Le Coënt
Marius Mikucionis
Jakob Haahr Taankvist
Published in:
CyPhy/WESE (2018)
Keyphrases
</>
intelligent systems
human machine interface
expert systems
distributed systems
building blocks
autonomous systems
management system
machine learning
computer systems
data sets
learning systems
complex systems
retrieval systems
model checking
adaptive control
reinforcement learning
operating environment