Conference on Computer-Aided Verification
Talk by Cristina David in “Cyber-physical Systems” session @ CAV 2017, Heidelberg Germany
Source
"Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants"
The Engineering of Conscious Experience
AI, Art & Consciousness
