Lazy Abstraction-Based Controller Synthesis

Publication
International Symposium on Automated Technology for Verification and Analysis