I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

The Complexity of Rational Synthesis for Concurrent Games:

Condurache, Rodica ; Oualhadj, Youssouf ; Troquard, Nicolas
Is Part Of LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018).  , 2018
Link: https://doi.org/10.4230/LIPIcs.CONCUR.2018.38