Ocan Sankur
Scholar

Ocan Sankur

Google Scholar ID: zePueHsAAAAJ
CNRS, Université de Rennes
Formal methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
669
 
H-index
15
 
i10-index
23
 
Publications
20
 
Co-authors
40
list available
Contact
No contact links provided.
Publications
2 items
On Dynamic Programming Theory for Leader-Follower Stochastic Games
2025
Cited
0
Linear Planar 3-SAT and Its Applications in Planning
2025
Cited
0
Resume (English only)
Co-authors
40 total
Jean-François Raskin
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Guillermo A. Pérez
Guillermo A. Pérez
Associate Professor, University of Antwerp
Co-author 3
Co-author 3
Mickael Randour
Mickael Randour
FNRS & UMONS
Swen Jacobs
Swen Jacobs
CISPA Helmholtz Center for Information Security, Saarland Informatics Campus
Co-author 6
Co-author 6
François Schwarzentruber
François Schwarzentruber
École Normale Supérieure de Lyon
Roderick Bloem
Roderick Bloem
Graz University of Technology