Variations on the stochastic shortest path problem M Randour, JF Raskin, O Sankur International Workshop on Verification, Model Checking, and Abstract …, 2015 | 42 | 2015 |
Percentile queries in multi-dimensional Markov decision processes M Randour, JF Raskin, O Sankur International Conference on Computer Aided Verification, 123-139, 2015 | 38 | 2015 |
Shrinking timed automata O Sankur, P Bouyer, N Markey Information and Computation 234, 107-132, 2014 | 33 | 2014 |
Online correlation clustering C Mathieu, O Sankur, W Schudy STACS'10, 2010 | 32 | 2010 |
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 | 29 | 2017 |
Robust reachability in timed automata: A game-based approach P Bouyer, N Markey, O Sankur ICALP'12 - Automata, Languages, and Programming, 128-140, 2012 | 29* | 2012 |
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 | 29 | 2011 |
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 | 26 | 2017 |
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 | 26 | 2016 |
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 | 26 | 2011 |
Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur Acta Informatica 54 (1), 41-83, 2017 | 22 | 2017 |
AbsSynthe: abstract synthesis from succinct safety specifications R Brenguier, GA Pérez, JF Raskin, O Sankur arXiv preprint arXiv:1407.5961, 2014 | 22 | 2014 |
Robust controller synthesis in timed automata O Sankur, P Bouyer, N Markey, PA Reynier CONCUR'13, 2013 | 22 | 2013 |
Robustness in timed automata P Bouyer, N Markey, O Sankur International Workshop on Reachability Problems, 1-18, 2013 | 21 | 2013 |
Assume-admissible synthesis R Brenguier, JF Raskin, O Sankur arXiv preprint arXiv:1507.00623, 2015 | 20 | 2015 |
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 | 19 | 2017 |
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 | 19 | 2016 |
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 | 16 | 2016 |
Untimed language preservation in timed systems O Sankur MFCS'11 - Mathematical Foundations of Computer Science 2011, 556-567, 2011 | 14 | 2011 |
Symbolic quantitative robustness analysis of timed automata O Sankur International Conference on Tools and Algorithms for the Construction and …, 2015 | 13 | 2015 |