Mickael Randour

Available identifiers

zbMath Open randour.mickaelMaRDI QIDQ526758

List of research outcomes

Publication	Date of Publication	Type
Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs	2024-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q6134270	2024-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q6134270	2023-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q6176109	2023-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q5875369	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875382	2023-02-03	Paper
Timed games with bounded window parity objectives	2023-01-18	Paper
Decisiveness of stochastic systems and its application to hybrid models	2022-12-08	Paper
Simple Strategies in Multi-Objective MDPs	2022-10-13	Paper
Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089289	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5028465	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5021008	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3384895	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5015274	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5013874	2021-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4994885	2021-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5141616	2020-12-18	Paper
Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)	2020-09-28	Paper
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes	2020-05-27	Paper
Decisiveness of Stochastic Systems and its Application to Hybrid Models	2020-01-13	Paper
Life is Random, Time is Not: Markov Decision Processes with Window Objectives	2019-01-11	Paper
Average-energy games	2018-04-10	Paper
Percentile queries in multi-dimensional Markov decision processes	2018-03-01	Paper
Reachability in Networks of Register Protocols under Stochastic Schedulers	2017-12-19	Paper
Bounding Average-Energy Games	2017-05-19	Paper
Percentile queries in multi-dimensional Markov decision processes	2017-05-15	Paper
Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games	2017-05-12	Paper
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games	2017-03-03	Paper
Non-Zero Sum Games for Reactive Synthesis	2016-04-13	Paper
Looking at mean-payoff and total-payoff through windows	2015-06-01	Paper
Variations on the Stochastic Shortest Path Problem	2015-02-04	Paper
Looking at Mean-Payoff and Total-Payoff through Windows	2014-07-08	Paper
Strategy synthesis for multi-dimensional quantitative objectives	2014-07-03	Paper
Strategy synthesis for multi-dimensional quantitative objectives	2012-09-25	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: Mickael Randour