Suivre
youssouf oualhadj
youssouf oualhadj
LACL, UPEC
Adresse e-mail validée de lacl.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Probabilistic automata on finite words: Decidable and undecidable problems
H Gimbert, Y Oualhadj
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
1262010
Deciding the value 1 problem for probabilistic leaktight automata
N Fijalkow, H Gimbert, E Kelmendi, Y Oualhadj
Logical Methods in Computer Science 11, 2015
522015
Games where you can play optimally with arena-independent finite memory
P Bouyer, S Le Roux, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 18, 2022
352022
Perfect-information stochastic mean-payoff parity games
K Chatterjee, L Doyen, H Gimbert, Y Oualhadj
International Conference on Foundations of Software Science and Computation …, 2014
202014
Probabilistic robust timed games
Y Oualhadj, PA Reynier, O Sankur
International Conference on Concurrency Theory, 203-217, 2014
172014
Arena-independent finite-memory determinacy in stochastic games
P Bouyer, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 19, 2023
162023
Life is random, time is not: Markov decision processes with window objectives
T Brihaye, F Delgrange, Y Oualhadj, M Randour
Logical Methods in Computer Science 16, 2020
102020
Rational synthesis in the commons with careless and careful agents
R Condurache, C Dima, Y Oualhadj, N Troquard
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
72021
The complexity of rational synthesis for concurrent games
R Condurache, Y Oualhadj, N Troquard
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
72018
Two recursively inseparable problems for probabilistic automata
N Fijalkow, H Gimbert, F Horn, Y Oualhadj
International Symposium on Mathematical Foundations of Computer Science, 267-278, 2014
72014
Computing optimal strategies for Markov decision processes with parity and positive-average conditions
H Gimbert, Y Oualhadj, S Paul
62011
Deciding the Value 1 Problem for-acyclic Partially Observable Markov Decision Processes
H Gimbert, Y Oualhadj
International Conference on Current Trends in Theory and Practice of …, 2014
42014
The value problem in stochastic games
Y Oualhadj
Université Sciences et Technologies-Bordeaux I, 2012
22012
Automates probabilistes: problémes décidables et indécidables
H Gimbert, Y Oualhadj
22009
Synthesis of Resource-Aware Controllers Against Rational Agents.
R Condurache, C Dima, Y Oualhadj, N Troquard
AAMAS, 775-783, 2023
12023
Careful Autonomous Agents in Environments With Multiple Common Resources
R Condurache, C Dima, M Jitaru, Y Oualhadj, N Troquard
arXiv preprint arXiv:2207.09707, 2022
12022
Pushing undecidability of the isolation problem for probabilistic automata
N Fijalkow, H Gimbert, Y Oualhadj
arXiv preprint arXiv:1104.3054, 2011
12011
A class of probabilistic automata with a decidable value 1 problem
N Fijalkow, H Gimbert, Y Oualhadj
CoRR, abs/1104.3055, 2011
12011
Controller Synthesis in Timed B\" uchi Automata: Robustness and Punctual Guards
B Barbot, D Busatto-Gaston, C Dima, Y Oualhadj
arXiv preprint arXiv:2404.18584, 2024
2024
Fairness and promptness in initialized systems
Y Oualhadj, L Tible, D Varacca
2022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20