Lazy Abstraction-Based Control for Safety Specifications

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
pdf code
Type
Conference paper
Publication
Conference on Decision and Control, 2018
Kyle Hsu
Kyle Hsu
PhD candidate

I study artificial intelligence, machine learning, and robotics.