Ocan Sankur
Ocan Sankur
CNRS, Irisa
Verified email at irisa.fr - Homepage
Title
Cited by
Cited by
Year
Variations on the stochastic shortest path problem
M Randour, JF Raskin, O Sankur
International Workshop on Verification, Model Checking, and Abstract …, 2015
392015
Percentile queries in multi-dimensional Markov decision processes
M Randour, JF Raskin, O Sankur
International Conference on Computer Aided Verification, 123-139, 2015
382015
Shrinking timed automata
O Sankur, P Bouyer, N Markey
Information and Computation 234, 107-132, 2014
332014
Online correlation clustering
C Mathieu, O Sankur, W Schudy
STACS'10, 2010
322010
Timed automata can always be made implementable
P Bouyer, KG Larsen, N Markey, O Sankur, C Thrane
International Conference on Concurrency Theory, 76-91, 2011
292011
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
282017
Robust reachability in timed automata: A game-based approach
P Bouyer, N Markey, O Sankur
ICALP'12 - Automata, Languages, and Programming, 128-140, 2012
28*2012
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International journal on software tools for technology transfer 19 (3), 367-390, 2017
262017
Robust model-checking of timed automata via pumping in channel machines
P Bouyer, N Markey, O Sankur
FORMATS'11 - Formal Modeling and Analysis of Timed Systems, 97-112, 2011
262011
Non-zero sum games for reactive synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
Language and Automata Theory and Applications, 3-23, 2016
242016
Robust controller synthesis in timed automata
O Sankur, P Bouyer, N Markey, PA Reynier
CONCUR'13, 2013
222013
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
Acta Informatica 54 (1), 41-83, 2017
212017
Robustness in timed automata
P Bouyer, N Markey, O Sankur
International Workshop on Reachability Problems, 1-18, 2013
212013
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1407.5961, 2014
202014
The second reactive synthesis competition (SYNTCOMP 2015)
S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ...
arXiv preprint arXiv:1602.01171, 2016
192016
Assume-admissible synthesis
R Brenguier, JF Raskin, O Sankur
arXiv preprint arXiv:1507.00623, 2015
192015
Percentile queries in multi-dimensional Markov decision processes
M Randour, JF Raskin, O Sankur
Formal methods in system design 50 (2-3), 207-248, 2017
182017
The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results
S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ...
arXiv preprint arXiv:1609.00507, 2016
152016
Untimed language preservation in timed systems
O Sankur
MFCS'11 - Mathematical Foundations of Computer Science 2011, 556-567, 2011
142011
Symbolic quantitative robustness analysis of timed automata
O Sankur
International Conference on Tools and Algorithms for the Construction and …, 2015
132015
The system can't perform the operation now. Try again later.
Articles 1–20