| Probabilistic automata on finite words: Decidable and undecidable problems H Gimbert, Y Oualhadj Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010 | 127 | 2010 |
| Deciding the value 1 problem for probabilistic leaktight automata N Fijalkow, H Gimbert, E Kelmendi, Y Oualhadj Logical Methods in Computer Science 11, 2015 | 52 | 2015 |
| 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 | 35 | 2022 |
| 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 | 20 | 2014 |
| Probabilistic robust timed games Y Oualhadj, PA Reynier, O Sankur International Conference on Concurrency Theory, 203-217, 2014 | 18 | 2014 |
| Arena-independent finite-memory determinacy in stochastic games P Bouyer, Y Oualhadj, M Randour, P Vandenhove Logical Methods in Computer Science 19, 2023 | 16 | 2023 |
| 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 | 10 | 2020 |
| 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 | 7 | 2021 |
| The complexity of rational synthesis for concurrent games R Condurache, Y Oualhadj, N Troquard 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 7 | 2018 |
| 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 | 7 | 2014 |
| Computing optimal strategies for Markov decision processes with parity and positive-average conditions H Gimbert, Y Oualhadj, S Paul | 6 | 2011 |
| 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 | 4 | 2014 |
| The value problem in stochastic games Y Oualhadj Université Sciences et Technologies-Bordeaux I, 2012 | 2 | 2012 |
| Automates probabilistes: problémes décidables et indécidables H Gimbert, Y Oualhadj | 2 | 2009 |
| Synthesis of Resource-Aware Controllers Against Rational Agents. R Condurache, C Dima, Y Oualhadj, N Troquard AAMAS, 775-783, 2023 | 1 | 2023 |
| 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 | 1 | 2022 |
| Rational verification in iterated electric boolean games Y Oualhadj, N Troquard arXiv preprint arXiv:1604.03773, 2016 | 1 | 2016 |
| Pushing undecidability of the isolation problem for probabilistic automata N Fijalkow, H Gimbert, Y Oualhadj arXiv preprint arXiv:1104.3054, 2011 | 1 | 2011 |
| A class of probabilistic automata with a decidable value 1 problem N Fijalkow, H Gimbert, Y Oualhadj CoRR, abs/1104.3055, 2011 | 1 | 2011 |
| Deciding the synthesis problem for hybrid games through bisimulation C Dima, M Hammami, Y Oualhadj, R Laleau arXiv preprint arXiv:2409.05498, 2024 | | 2024 |
Hugo Gimbertchargé de recherche au CNRS, LaBRI, BordeauxVerified email at labri.fr
