SMT

Controller Synthesis for Linear System With Reach-Avoid Specifications

January 1, 2022

Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics

July 18, 2018

Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis

July 13, 2017