Follow
youssouf oualhadj
youssouf oualhadj
LACL, UPEC
Verified email at lacl.fr - Homepage
Title
Cited by
Cited by
Year
Probabilistic automata on finite words: Decidable and undecidable problems
H Gimbert, Y Oualhadj
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
1232010
Deciding the value 1 problem for probabilistic leaktight automata
N Fijalkow, H Gimbert, E Kelmendi, Y Oualhadj
Logical Methods in Computer Science 11, 2015
492015
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
322022
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
222014
Arena-independent finite-memory determinacy in stochastic games
P Bouyer, Y Oualhadj, M Randour, P Vandenhove
Logical Methods in Computer Science 19, 2023
162023
Probabilistic robust timed games
Y Oualhadj, PA Reynier, O Sankur
International Conference on Concurrency Theory, 203-217, 2014
162014
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
92020
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
82021
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
52011
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
Fairness and promptness in initialized systems
Y Oualhadj, L Tible, D Varacca
2022
Fairness and promptness in Muller formulas
Y Oualhadj, L Tible, D Varacca
arXiv preprint arXiv:2204.13215, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20