Consciousness Videos "Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants" March 7, 2019Conference on Computer-Aided Verification
