Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis
Abstract elided by the publisher.
Related papers
- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts TACAS 2018
- Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information TACAS 2015
- Modular Refinement of Hierarchic Reactive Machines POPL 2000
- Modular refinement of hierarchic reactive machines TOPLAS 2004
- Quantitative Assume Guarantee Synthesis CAV 2017
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse OOPSLA 2026
- Synthesis of reactive controllers for hybrid systems (keynote) POPL 2016