Search
Now showing items 1-1 of 1
Runtime Verification meets Controller Synthesis
(2022)
Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to ...