Lazy Abstraction-Based Controller Synthesis

Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
pdf code
Type
Conference paper
Publication
International Symposium on Automated Technology for Verification and Analysis, 2019
Kyle Hsu
Kyle Hsu
PhD candidate

I study artificial intelligence, machine learning, and robotics.