Optimal Controllers using Bounded Model Checking and Optimization Modulo Theories

Publication
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Date
Links

(under review)