Bounded Synthesis for Streett, Rabin, and CTL*

Ayrat Khalimov, Roderick Bloem

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Original languageEnglish
Title of host publicationCAV
Publication statusPublished - 2017

Cite this