9

Lazy Abstraction-Based Controller Synthesis

Efficient, correct-by-construction controller synthesis via on-demand abstraction construction and adaptive spatiotemporal granularity.
Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck
pdf code