Synthesis of Asynchronous Reactive Programs from Temporal Specifications

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar. Synthesis of Asynchronous Reactive Programs from Temporal Specifications. In Hana Chockler, Georg Weissenbacher, editors, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. Volume 10981 of Lecture Notes in Computer Science, pages 367-385, Springer, 2018. [doi]

Bibliographies