Ocan Sankur

Identifiers

• name variant Ocan Sankur 0.60 · backfill

Papers (12)

1. Abstraction Refinement Algorithms for Timed Automata cs.FL · 2019 · author #2
2. Reachability and Coverage Planning for Connected Agents: Extended Version cs.AI · 2019 · author #3
3. Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes cs.LO · 2018 · author #5
4. Admissibility in Concurrent Games cs.GT · 2017 · author #4
5. Admissibility in Quantitative Graph Games cs.LO · 2016 · author #4
6. Non-Zero Sum Games for Reactive Synthesis cs.LO · 2015 · author #7
7. Assume-Admissible Synthesis cs.LO · 2015 · author #3
8. The First Reactive Synthesis Competition (SYNTCOMP 2014) cs.LO · 2015 · author #10
9. Variations on the Stochastic Shortest Path Problem cs.LO · 2014 · author #3
10. Percentile Queries in Multi-Dimensional Markov Decision Processes cs.LO · 2014 · author #3
11. Multiple-Environment Markov Decision Processes cs.LO · 2014 · author #2
12. Online Correlation Clustering cs.DS · 2010 · author #2

Mentions

• 1405.4733 #2 · backfill · confidence 0.70 Ocan Sankur
• 1001.0920 #2 · backfill · confidence 0.70 Ocan Sankur

Frequent Coauthors

• Jean-Fran\c{c}ois Raskin 8 shared papers
• Romain Brenguier 4 shared papers
• Guillermo A. P\'erez 3 shared papers
• Mickael Randour 3 shared papers
• Adam Walker 1 shared papers
• Arthur Queffelec 1 shared papers
• Christel Baier 1 shared papers
• Claire Mathieu 1 shared papers
• Clemens Dubslaff 1 shared papers
• Daniel Gburek 1 shared papers
• Fran\c{c}ois Schwarzentruber 1 shared papers
• Gilles Geeraerts 1 shared papers
• Leander Tentrup 1 shared papers
• Leonid Ryzhyk 1 shared papers
• Lorenzo Clemente 1 shared papers
• Martina Seidl 1 shared papers
• Mathieu Sassolas 1 shared papers
• Nathalie Bertrand 1 shared papers
• Nicolas Basset 1 shared papers
• Nicolas Markey 1 shared papers