search result

Cover von Resolving Nondeterminism by Chance

Resolving Nondeterminism by Chance

Year: 2025
Media group: LIPIcs
Cover von Temporal Explorability Games

Temporal Explorability Games

Year: 2025
Media group: LIPIcs
Cover von Optimally Controlling a Random Population

Optimally Controlling a Random Population

Year: 2026
Media group: LIPIcs
Cover von Optimal Sequential Flows

Optimal Sequential Flows

Year: 2026
Media group: LIPIcs
Cover von History-Deterministic Vector Addition Systems

History-Deterministic Vector Addition Systems

Year: 2023
Media group: LIPIcs
Cover von Reachability Problems
15th International Conference, RP 2021, Liverpool, UK, October 25 - 27, 2021, Proceedings
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13035
Media group: MONOGRAPHIE
Cover von Transience in Countable MDPs

Transience in Countable MDPs

Year: 2021
Media group: LIPIcs
Cover von Strategy Complexity of Parity Objectives in Countable MDPs

Strategy Complexity of Parity Objectives in Countable MDPs

Year: 2020
Media group: LIPIcs
Cover von Optimally Resilient Strategies in Pushdown Safety Games

Optimally Resilient Strategies in Pushdown Safety Games

Year: 2020
Media group: LIPIcs
Cover von Timed Basic Parallel Processes

Timed Basic Parallel Processes

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0