Now showing items 1-1 of 1

    • Runtime Verification meets Controller Synthesis 

      Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (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 ...