Lazy Abstraction-Based Controller Synthesis

Publication
International Symposium on Automated Technology for Verification and Analysis, 2019
Kyle Hsu
Kyle Hsu
PhD student

I study artificial intelligence, machine learning, and robotics.