Organizing a special session with Jyo Deshmukh on “Safe Autonomy” at ICCAD 2019.
Four exciting talks from industry and academia on the topic of safety assurance of autonomous systems using formal reasoning: https://iccad.com/event_details?id=283-7-A!