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:

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

On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications

Ami Sakakibara and Toshimitsu Ushio
IEEE Control Systems Letters 4 (3) 530 (2020)
DOI: 10.1109/LCSYS.2020.2971029
See this article

Assume-admissible synthesis

Romain Brenguier, Jean-François Raskin and Ocan Sankur
Acta Informatica 54 (1) 41 (2017)
DOI: 10.1007/s00236-016-0273-2
See this article

Automata Techniques for Epistemic Protocol Synthesis

Guillaume Aucher, Bastien Maubert and Sophie Pinchinat
Electronic Proceedings in Theoretical Computer Science 146 97 (2014)
DOI: 10.4204/EPTCS.146.13
See this article

Strategy construction for parity games with imperfect information

Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen and Thomas A. Henzinger
Information and Computation 208 (10) 1206 (2010)
DOI: 10.1016/j.ic.2009.09.006
See this article

Compositional construction of most general controllers

Joachim Klein, Christel Baier and Sascha Klüppelholz
Acta Informatica 52 (4-5) 443 (2015)
DOI: 10.1007/s00236-015-0239-9
See this article

Playing Pushdown Parity Games in a Hurry

Wladimir Fridman and Martin Zimmermann
Electronic Proceedings in Theoretical Computer Science 96 183 (2012)
DOI: 10.4204/EPTCS.96.14
See this article

CONCUR 2009 - Concurrency Theory

Patricia Bouyer, Marie Duflot, Nicolas Markey and Gabriel Renault
Lecture Notes in Computer Science, CONCUR 2009 - Concurrency Theory 5710 196 (2009)
DOI: 10.1007/978-3-642-04081-8_14
See this article

Deriving Available Behavior All Out from Incompatible Component Compositions

Yan Zhang, Jun Hu, Xiaofeng Yu, et al.
Electronic Notes in Theoretical Computer Science 160 349 (2006)
DOI: 10.1016/j.entcs.2006.05.033
See this article

Safety first: a two-stage algorithm for the synthesis of reactive systems

Saqib Sohail and Fabio Somenzi
International Journal on Software Tools for Technology Transfer 15 (5-6) 433 (2013)
DOI: 10.1007/s10009-012-0224-3
See this article

Down the Borel Hierarchy: Solving Muller Games via Safety Games

Daniel Neider, Roman Rabinovich and Martin Zimmermann
Electronic Proceedings in Theoretical Computer Science 96 169 (2012)
DOI: 10.4204/EPTCS.96.13
See this article

Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints

Jie Fu and Ufuk Topcu
IEEE Transactions on Automatic Control 61 (11) 3464 (2016)
DOI: 10.1109/TAC.2016.2518639
See this article

Down the Borel hierarchy: Solving Muller games via safety games

Daniel Neider, Roman Rabinovich and Martin Zimmermann
Theoretical Computer Science 560 219 (2014)
DOI: 10.1016/j.tcs.2014.01.017
See this article

CONCUR 2008 - Concurrency Theory

Krishnendu Chatterjee, Thomas A. Henzinger and Barbara Jobstmann
Lecture Notes in Computer Science, CONCUR 2008 - Concurrency Theory 5201 147 (2008)
DOI: 10.1007/978-3-540-85361-9_14
See this article

CONCUR 2010 - Concurrency Theory

Krishnendu Chatterjee, Florian Horn and Christof Löding
Lecture Notes in Computer Science, CONCUR 2010 - Concurrency Theory 6269 284 (2010)
DOI: 10.1007/978-3-642-15375-4_20
See this article

Algebraic Methodology and Software Technology

Igor Walukiewicz
Lecture Notes in Computer Science, Algebraic Methodology and Software Technology 2422 15 (2002)
DOI: 10.1007/3-540-45719-4_2
See this article

Deciding Parity Games in Quasi-polynomial Time

Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li and Frank Stephan
SIAM Journal on Computing STOC17-152 (2020)
DOI: 10.1137/17M1145288
See this article

Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad and Naijun Zhan
Acta Informatica (2020)
DOI: 10.1007/s00236-020-00374-7
See this article