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
cite
×