Randour, Mickael
- Percentile Queries in Multi-Dimensional Markov Decision Processes
2014/10/17 by Randour, Mickael, Raskin, Jean-François, Sankur, Ocan · 4 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Variations on the Stochastic Shortest Path Problem
2014/11/04 by Randour, Mickael, Raskin, Jean-François, Sankur, Ocan · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC)
- Simple Strategies in Multi-Objective MDPs (Technical Report)
2019/10/24 by Delgrange, Florent, Katoen, Joost-Pieter, Quatmann, Tim +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Different Strokes in Randomised Strategies: Revisiting Kuhn's Theorem under Finite-Memory Assumptions
2022/01/26 by Main, James C. A., Randour, Mickael · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Games on Graphs: From Logic and Automata to Algorithms
2023/05/17 by Fijalkow, Nathanaël, Aiswarya, C., Avni, Guy +22 · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)