Toggle navigation
Tim Niemueller
Home
Publications
Talks
Blog
Projects
Contact
Optimal Controllers using Bounded Model Checking and Optimization Modulo Theories
Francesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
Type
Work in progress
Publication
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Date
December, 2018
Links
Cite
(under review)
×
Cite