Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ocan Sankur
Map detail
Ocan Sankur13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOcan SankurAOcan SankurResearcherThe variance-penalized stochastic shortest path problemWThe variance-penalized ...preprint / 2022Conflict-Based Search for Connected Multi-Agent Path FindingWConflict-Based Search f...preprint / 2020Online Correlation ClusteringWOnline Correlation Clus...preprint / 2010Multiple-Environment Markov Decision ProcessesWMultiple-Environment Ma...preprint / 2014Parameterized safety verification of round-based shared-memory systemsWParameterized safety ve...preprint / 2022Non-Blind Strategies in Timed Network Congestion GamesWNon-Blind Strategies in...preprint / 2022Variations on the Stochastic Shortest Path ProblemWVariations on the Stoch...preprint / 2014Assume-Admissible SynthesisWAssume-Admissible Synth...preprint / 2015Zone-based verification of timed automata: extrapolations, simulations and what next?WZone-based verification...preprint / 2022AbsSynthe: abstract synthesis from succinct safety specificationsWAbsSynthe: abstract syn...preprint / 2014Compositional Algorithms for Succinct Safety GamesWCompositional Algorithm...preprint / 2016Admissibility in Quantitative Graph GamesWAdmissibility in Quanti...preprint / 2016
Person12 links

Ocan Sankur

Researcher