Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Optimal strategy synthesis for request-response games

Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann

RAIRO-Theor. Inf. Appl., 49 3 (2015) 179-203

Published online: 2015-10-08

DOI: https://doi.org/10.1051/ita/2015005

This article has been cited by the following article(s):

Laurent Doyen, Pranshu Gaba and Shibashis Guha
14574 34 (2024)
https://doi.org/10.1007/978-3-031-57228-9_3

Foundations of Software Science and Computation Structures

Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut and Nathalie Sznajder
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 12077 97 (2020)
https://doi.org/10.1007/978-3-030-45231-5_6

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems

Adel Dokhanchi, Bardh Hoxha and Georgios Fainekos
ACM Transactions on Embedded Computing Systems 17 (2) 1 (2018)
https://doi.org/10.1145/3147451