ASSET Seminar: The marriage of logic and learning: will it be a happily ever after? (Jyotirmoy Deshmukh, University of Southern California)
Presentation Abstract: Huge strides have made in the widespread adoption of autonomous and human-in-the-loop cyber-physical systems (CPS), partly fueled by dramatic improvements in learning-based techniques. An important aspect of such […]