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

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

Co-authors

13 total

Jean-François Raskin

Université Libre de Bruxelles, U.L.B.

Guillermo A. Pérez

Associate Professor, University of Antwerp

Mickael Randour

CISPA Helmholtz Center for Information Security, Saarland Informatics Campus

François Schwarzentruber

École Normale Supérieure de Lyon

Graz University of Technology

Univ.-Prof., JKU Linz