Synthesis from Infinite-State Generalized Reactivity(1) Specifications

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Publication statusPublished - Oct 2024

Fields of Expertise

  • Information, Communication & Computing

Access to Document

    • 1 Talk at conference or symposium

    Cite this