Run-Time Optimization for Learned Controllers Through Quantitative Games

Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas Henzinger, Bettina Könighofer, Stefan Pranger

Research output: Chapter in Book/Report/Conference proceedingConference paper

Fingerprint

Dive into the research topics of 'Run-Time Optimization for Learned Controllers Through Quantitative Games'. Together they form a unique fingerprint.

Engineering & Materials Science