Ocan Sankur

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Long-run satisfaction of path properties	2024-12-19	Paper
Semilinear representations for series-parallel atomic congestion games	2024-09-12	Paper
Parameterized safety verification of round-based shared-memory systems	2024-06-24	Paper
The variance-penalized stochastic shortest path problem	2024-06-24	Paper
Timed automata verification and synthesis via finite automata learning	2024-04-05	Paper
Abstraction refinement algorithms for timed automata	2024-02-16	Paper
Robust controller synthesis in timed Büchi automata: a symbolic approach	2024-02-16	Paper
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking	2023-08-21	Paper
Repairing real-time requirements	2023-06-02	Paper
Zone-based verification of timed automata: extrapolations, simulations and what next?	2023-01-18	Paper
Non-blind strategies in timed network congestion games	2023-01-18	Paper
Complexity of planning for connected agents in a partially known environment	2023-01-04	Paper
Incremental methods for checking real-time consistency	2021-03-02	Paper
Stochastic shortest paths and weight-bounded properties in Markov decision processes	2021-01-20	Paper
An abstraction technique for parameterized model checking of leader election protocols: application to FTSP	2020-08-05	Paper
Admissiblity in concurrent games	2020-05-27	Paper
Admissible strategies in timed games	2020-02-24	Paper
Symbolic quantitative robustness analysis of timed automata	2019-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4636592	2018-04-19	Paper
Percentile queries in multi-dimensional Markov decision processes	2018-03-01	Paper
Assume-admissible synthesis	2017-09-12	Paper
Percentile queries in multi-dimensional Markov decision processes	2017-05-15	Paper
Multiple-environment Markov decision processes	2017-04-25	Paper
Assume-admissible synthesis	2017-04-03	Paper
Non-zero sum games for reactive synthesis	2016-04-13	Paper
Variations on the stochastic shortest path problem	2015-02-04	Paper
Robust reachability in timed automata and games: a game-based approach	2014-12-12	Paper
Probabilistic robust timed games	2014-09-15	Paper
Robustness in timed automata	2014-07-07	Paper
Shrinking timed automata	2014-02-11	Paper
Robust weighted timed automata and games	2013-08-16	Paper
Robust Controller Synthesis in Timed Automata	2013-08-12	Paper
Robust reachability in timed automata: a game-based approach	2012-11-01	Paper
A comparison of succinctly represented finite-state systems	2012-09-25	Paper
Shrinking timed automata	2012-08-31	Paper
Online correlation clustering	2012-01-23	Paper
Robust model-checking of timed automata via pumping in channel machines	2011-10-07	Paper
Timed Automata Can Always Be Made Implementable	2011-09-02	Paper
Untimed Language Preservation in Timed Systems	2011-08-17	Paper

Research outcomes over time

This page was built for person: Ocan Sankur