Bounded Synthesis for Streett, Rabin, and CTL*

Ayrat Khalimov, Roderick Bloem

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

Original languageEnglish
Title of host publicationCAV
Publication statusPublished - 2017

Cite this

Bounded Synthesis for Streett, Rabin, and CTL*. / Khalimov, Ayrat; Bloem, Roderick.

CAV. 2017.

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

@inproceedings{206f1220eb6041e99695d0e4ca3cfe01,
title = "Bounded Synthesis for Streett, Rabin, and CTL*",
author = "Ayrat Khalimov and Roderick Bloem",
year = "2017",
language = "English",
booktitle = "CAV",

}

TY - GEN

T1 - Bounded Synthesis for Streett, Rabin, and CTL*

AU - Khalimov, Ayrat

AU - Bloem, Roderick

PY - 2017

Y1 - 2017

M3 - Conference contribution

BT - CAV

ER -