E-LIB Suche - Ergebnisse für: Oualhadj, Youssouf

1

Games Where You Can Play Optimally with Arena-Independent F..:

Bouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf..
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

2

Rational Synthesis in the Commons with Careless and Careful..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,

Condurache, Rodica ; Dima, Catalin ; Oualhadj, Youssouf. - p. 368-376 , 2021

Link: https://dl.acm.org/doi/1..

3

Deciding the Value 1 Problem for Probabilistic Leaktight Au..:

, In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,

Fijalkow, Nathanaël ; Gimbert, Hugo ; Oualhadj, Youssouf - p. 295-304 , 2012

Link: https://dl.acm.org/doi/1..

4

Careful Autonomous Agents in Environments With Multiple Com..:

Condurache, Rodica ; Dima, Catalin ; Jitaru, Madalina..
http://arxiv.org/abs/2207.09707. , 2022

Link: http://arxiv.org/abs/220..

5

Fairness and promptness in Muller formulas:

Oualhadj, Youssouf ; Tible, Léo ; Varacca, Daniele
http://arxiv.org/abs/2204.13215. , 2022

Link: http://arxiv.org/abs/220..

6

Arena-Independent Finite-Memory Determinacy in Stochastic G..:

Bouyer, Patricia ; Oualhadj, Youssouf ; Randour, Mickael.
doi:10.4230/LIPIcs.CONCUR.2021.26. , 2021

Link: https://doi.org/10.4230/..

7

Arena-Independent Finite-Memory Determinacy in Stochastic G..:

Bouyer, Patricia ; Oualhadj, Youssouf ; Randour, Mickael.
http://arxiv.org/abs/2102.10104. , 2021

Link: http://arxiv.org/abs/210..

8

Games Where You Can Play Optimally with Arena-Independent F..:

Bouyer, Patricia ; Oualhadj, Youssouf ; Randour, Mickael.
doi:10.4230/LIPIcs.CONCUR.2020.24. , 2020

Link: https://doi.org/10.4230/..

9

Games Where You Can Play Optimally with Arena-Independent F..:

Bouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf..
http://arxiv.org/abs/2001.03894. , 2020

Link: http://arxiv.org/abs/200..

10

Games Where You Can Play Optimally with Arena-Independent F..:

Bouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf..
info:eu-repo/semantics/altIdentifier/arxiv/2001.03894. , 2020

Link: https://hal.archives-ouv..

11

Life is Random, Time is Not : Markov Decision Processes wit..:

Brihaye, Thomas ; Delgrange, Florent ; Oualhadj, Youssouf.
info:eu-repo/semantics/altIdentifier/wos/WOS:000605983500007. , 2020

Link: https://publications.rwt..

12

Games Where You Can Play Optimally with Arena-Independent F..:

Bouyer, Patricia ; Roux, Stéphane Le ; Oualhadj, Youssouf..
info:eu-repo/semantics/altIdentifier/arxiv/2001.03894. , 2020

Link: https://hal.science/hal-..

13

Life is Random, Time is Not: Markov Decision Processes with..:

Brihaye, Thomas ; Delgrange, Florent ; Oualhadj, Youssouf.
http://arxiv.org/abs/1901.03571. , 2019

Link: http://arxiv.org/abs/190..

14

Life Is Random, Time Is Not: Markov Decision Processes with..:

Brihaye, Thomas ; Delgrange, Florent ; Oualhadj, Youssouf.
Is Part Of LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019). , 2019

Link: https://doi.org/10.4230/..

15

Banach-Mazur Parity Games and Almost-sure Winning Strategie:

Oualhadj, Youssouf ; Tible, Léo ; Varacca, Daniele
http://arxiv.org/abs/1806.10025. , 2018

Link: http://arxiv.org/abs/180..