Lazy Abstraction-Based Control for Safety Specifications

Publication
Conference on Decision and Control