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
https://portal.mardi4nfdi.de/entity/Q3113781	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