Our paper titled “ Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach” is accepted to appear in the Proceedings of the American Control Conference ACC 2020.
Our paper titled “ Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach” is accepted to appear in the Proceedings of the American Control Conference ACC 2020.