Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis.

Rajeev Alur, Salar Moarref, Ufuk Topcu

Browse the full TACAS paper archive.