Ocan Sankur
Author
Alternate name Ocan Sankur
Institutions Université de Rennes, Institut national de recherche en informatique et en automatique, Centre National de la Recherche Scientifique
Past institutions Université de Rennes, Centre National de la Recherche Scientifique, Institut national de recherche en informatique et en automatique, Centre National pour la Recherche Scientifique et Technique (CNRST), Institut de Recherche en Informatique et Systèmes Aléatoires +5 more
ORCID: Yes
H-index: 16
I10-index: 24
Works count: 99
Citations count: 688
Assume-admissible synthesis
2016 · Romain Brenguier, Jean-François Raskin, et al. · Acta Informatica
Percentile Queries in Multi-dimensional Markov Decision Processes
2015 · Mickaël Randour, Jean-François Raskin, et al. · Lecture notes in computer science
Non-Zero Sum Games for Reactive Synthesis
2016 · Romain Brenguier, Lorenzo Clemente, et al. · Lecture notes in computer science