Ocan Sankur

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ocan Sankur