9

Lazy Abstraction-Based Controller Synthesis

Efficient, correct-by-construction controller synthesis via on-demand abstraction construction and adaptive spatiotemporal granularity.