Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Jacobs, Swen
Klein, Felix
and
Schirmer, Sebastian
2016.
A High-Level LTL Synthesis Format: TLSF v1.1.
Electronic Proceedings in Theoretical Computer Science,
Vol. 229,
Issue. ,
p.
112.
QUER, S.
2016.
Back to Basics: Solving Games with SAT.
Advances in Electrical and Computer Engineering,
Vol. 16,
Issue. 3,
p.
91.
Damm, Werner
Finkbeiner, Bernd
and
Rakow, Astrid
2016.
What You Really Need To Know About Your Neighbor.
Electronic Proceedings in Theoretical Computer Science,
Vol. 229,
Issue. ,
p.
21.
Bloem, Roderick
Schewe, Sven
and
Khalimov, Ayrat
2017.
CTL* synthesis via LTL synthesis.
Electronic Proceedings in Theoretical Computer Science,
Vol. 260,
Issue. ,
p.
4.
Arteche, Noel
and
Hermo, Montserrat
2024.
Towards the Exact Complexity of Realizability for .
Journal of Logical and Algebraic Methods in Programming,
p.
101002.