Just-In-Time Reactive Synthesis

Abstract

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. GR(1) is an expressive assume-guarantee fragment of LTL that enables efficient synthesis and has been recently used in different contexts and application domains.

BibTeX

@inproceedings{Maoz-Shevrin:ASE20,
  author    = {Shahar Maoz and
               Ilia Shevrin},
  title     = {{Just-In-Time} Reactive Synthesis},
  booktitle = {ASE},
  pages     = {635--646},
  publisher = {{IEEE}},
  year      = {2020},
}

Just-In-Time Reactive Synthesis

Abstract

Related papers