×

zbMATH — the first resource for mathematics

Sankur, Ocan

Compute Distance To:
Author ID: sankur.ocan Recent zbMATH articles by "Sankur, Ocan"
Published as: Sankur, Ocan
External Links: MGP
Documents Indexed: 27 Publications since 2010

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 73 times in 46 Documents Cited by Year
Variations on the stochastic shortest path problem. Zbl 1432.90155
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
10
2015
Assume-admissible synthesis. Zbl 1374.68322
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
6
2015
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
2011
Robustness in timed automata. Zbl 1407.68282
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2013
Percentile queries in multi-dimensional Markov decision processes. Zbl 1381.68219
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
5
2015
Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2011
Non-zero sum games for reactive synthesis. Zbl 1435.68147
Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul; Pérez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
4
2016
Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
4
2017
Shrinking timed automata. Zbl 1246.68159
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
4
2011
Robust reachability in timed automata: a game-based approach. Zbl 1367.68161
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
4
2012
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
3
2017
Untimed language preservation in timed systems. Zbl 1343.68148
Sankur, Ocan
3
2011
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
Symbolic quantitative robustness analysis of timed automata. Zbl 1420.68111
Sankur, Ocan
2
2015
Online correlation clustering. Zbl 1230.68219
Mathieu, Claire; Sankur, Ocan; Schudy, Warren
2
2010
Admissibility in quantitative graph games. Zbl 1394.91058
Brenguier, Romain; Pérez, Guillermo A.; Raskin, Jean-Francois; Sankur, Ocan
2
2016
Multiple-environment Markov decision processes. Zbl 1360.68598
Raskin, Jean-François; Sankur, Ocan
1
2014
Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
1
2015
Shrinking timed automata. Zbl 1285.68090
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
1
2014
Probabilistic robust timed games. Zbl 1417.68088
Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan
1
2014
A comparison of succinctly represented finite-state systems. Zbl 1364.68277
Brenguier, Romain; Göller, Stefan; Sankur, Ocan
1
2012
Percentile queries in multi-dimensional Markov decision processes. Zbl 1360.68518
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
4
2017
Assume-admissible synthesis. Zbl 1362.68202
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
3
2017
Non-zero sum games for reactive synthesis. Zbl 1435.68147
Brenguier, Romain; Clemente, Lorenzo; Hunter, Paul; Pérez, Guillermo A.; Randour, Mickael; Raskin, Jean-François; Sankur, Ocan; Sassolas, Mathieu
4
2016
Admissibility in quantitative graph games. Zbl 1394.91058
Brenguier, Romain; Pérez, Guillermo A.; Raskin, Jean-Francois; Sankur, Ocan
2
2016
Variations on the stochastic shortest path problem. Zbl 1432.90155
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
10
2015
Assume-admissible synthesis. Zbl 1374.68322
Brenguier, Romain; Raskin, Jean-François; Sankur, Ocan
6
2015
Percentile queries in multi-dimensional Markov decision processes. Zbl 1381.68219
Randour, Mickael; Raskin, Jean-François; Sankur, Ocan
5
2015
Symbolic quantitative robustness analysis of timed automata. Zbl 1420.68111
Sankur, Ocan
2
2015
Robust reachability in timed automata and games: a game-based approach. Zbl 1302.68153
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
1
2015
Multiple-environment Markov decision processes. Zbl 1360.68598
Raskin, Jean-François; Sankur, Ocan
1
2014
Shrinking timed automata. Zbl 1285.68090
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
1
2014
Probabilistic robust timed games. Zbl 1417.68088
Oualhadj, Youssouf; Reynier, Pierre-Alain; Sankur, Ocan
1
2014
Robustness in timed automata. Zbl 1407.68282
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2013
Robust controller synthesis in timed automata. Zbl 1390.68416
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain
3
2013
Robust reachability in timed automata: a game-based approach. Zbl 1367.68161
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
4
2012
A comparison of succinctly represented finite-state systems. Zbl 1364.68277
Brenguier, Romain; Göller, Stefan; Sankur, Ocan
1
2012
Timed automata can always be made implementable. Zbl 1343.68134
Bouyer, Patricia; Larsen, Kim G.; Markey, Nicolas; Sankur, Ocan; Thrane, Claus
6
2011
Robust model-checking of timed automata via pumping in channel machines. Zbl 1348.68122
Bouyer, Patricia; Markey, Nicolas; Sankur, Ocan
5
2011
Shrinking timed automata. Zbl 1246.68159
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas
4
2011
Untimed language preservation in timed systems. Zbl 1343.68148
Sankur, Ocan
3
2011
Online correlation clustering. Zbl 1230.68219
Mathieu, Claire; Sankur, Ocan; Schudy, Warren
2
2010
all top 5

Cited by 101 Authors

7 Raskin, Jean-François
6 Markey, Nicolas
5 Bouyer, Patricia
5 Bruyère, Véronique
5 Sankur, Ocan
4 André, Étienne
3 Brihaye, Thomas
3 Randour, Mickael
2 Akshay, S.
2 Basset, Nicolas
2 Fahrenberg, Uli
2 Goeminne, Aline
2 Hélouët, Loïc
2 Henzinger, Thomas A.
2 Kwiatkowska, Marta Z.
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 Leroux, Stéphane
2 Lime, Didier
2 Majumdar, Rupak
2 Otop, Jan
2 Pauly, Arno M.
2 Schmuck, Anne-Kathrin
1 Alba, Enrique
1 Asarin, Eugene
1 Ashkenazi-Golan, Galit
1 Avni, Guy
1 Baier, Christel
1 Bournez, Olivier
1 Brenguier, Romain
1 Buchholz, Peter
1 Cassez, Franck
1 Chonev, Ventsislav
1 Chrobak, Marek
1 Cintrano, C.
1 Degorre, Aldric
1 Delgrange, Florent
1 Dingel, Juergen
1 Dong, JinSong
1 Dürr, Christoph
1 Fabijan, Aleksander
1 Faella, Marco
1 Ferrucci, Luca
1 Filiot, Emmanuel
1 Firman, Elizabeth
1 Flesch, Janos
1 Forejt, Vojtěch
1 Gardy, Patrick
1 Genest, Blaise
1 Guldstrand, Larsen Kim
1 Haase, Christoph
1 Hartmanns, Arnd
1 Jensen, Peter Gjøl
1 Junges, Sebastian
1 Katoen, Joost-Pieter
1 Kiefer, Stefan
1 Klein, Joachim
1 Klüppelholz, Sascha
1 Kupferman, Orna
1 Kurganskyy, Oleksiy
1 La Torre, Salvatore
1 Leva, Adrian
1 Liu, Yang
1 Lohrey, Markus
1 Lokshtanov, Daniel
1 Mandrioli, Dino
1 Maneth, Sebastian
1 Maoz, Shahar
1 Marx, Dániel
1 Michaliszyn, Jakub
1 Mohammadi, Abumoslem
1 Moor, Thomas
1 Morzenti, Angelo
1 Murano, Aniello
1 Nilsson, Bengt J.
1 Norman, Gethin
1 Ouaknine, Joel O.
1 Oualhadj, Youssouf
1 Perelli, Giuseppe
1 Peternek, Fabian
1 Phawade, Ramchandra
1 Potapov, Igor
1 Predtetchinski, Arkadi
1 Quatmann, Tim
1 Ramparison, Mathias
1 Ringert, Jan Oliver
1 Rossi, Matteo A. C.
1 Rudie, Karen
1 Scheftelowitsch, Dimitri
1 Solan, Eilon
1 Sun, Jun
1 Tayyebi, Javad
1 Traonouez, Louis-Marie
1 Trivedi, Ashutosh
1 van den Bogaard, Marie
1 Vardi, Moshe Y.
1 Waez, Md Tawhid Bin
1 Wąsowski, Andrzej
1 Wiltsche, Clemens
1 Worrell, James B.
...and 1 more Authors

Citations by Year