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

(under review)