Travelled to:1 × India
1 × Russia
1 × USA
2 × United Kingdom
Collaborated with:∅ M.Randour J.Raskin N.Markey P.Bouyer V.Roussanaly D.Busatto-Gaston B.Monmege P.Reynier
Talks about:automata (5) time (5) robust (4) approach (2) analysi (2) symbol (2) shrinktech (1) percentil (1) dimension (1) algorithm (1)
Person: Ocan Sankur
DBLP: Sankur:Ocan
Contributed to:
2015
2015
20152013
20122019Wrote 7 papers:
- CAV-2015-RandourRS #markov #multi #process #query
- Percentile Queries in Multi-dimensional Markov Decision Processes (MR, JFR, OS), pp. 123–139.
- TACAS-2015-Sankur #analysis #automaton #robust
- Symbolic Quantitative Robustness Analysis of Timed Automata (OS), pp. 484–498.
- VMCAI-2015-RandourRS #probability #problem
- Variations on the Stochastic Shortest Path Problem (MR, JFR, OS), pp. 1–18.
- CAV-2013-Sankur #analysis #automaton #named #robust
- Shrinktech: A Tool for the Robustness Analysis of Timed Automata (OS), pp. 1006–1012.
- ICALP-v2-2012-BouyerMS #approach #automaton #game studies #reachability #robust
- Robust Reachability in Timed Automata: A Game-Based Approach (PB, NM, OS), pp. 128–140.
- CAV-2019-Busatto-GastonM #approach #automaton #robust #synthesis
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach (DBG, BM, PAR, OS), pp. 572–590.
- CAV-2019-RoussanalySM #abstraction #algorithm #automaton #refinement
- Abstraction Refinement Algorithms for Timed Automata (VR, OS, NM), pp. 22–40.