Showing 1–20 of 38 results
/ Date/ Name
Dec 10, 2019Optimally Resilient Strategies in Pushdown Safety GamesApr 6, 2023History-deterministic Timed AutomataFeb 1, 2016Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-CompleteApr 25, 2019Büchi Objectives in Countable MDPsJul 7, 2020Strategy Complexity of Parity Objectives in Countable MDPsJan 18, 2021Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNPMay 3, 2023History-deterministic Vector Addition SystemsApr 21, 2014Trace Inclusion for One-Counter Nets RevisitedMay 15, 2024Bounded-Memory Strategies in Partial-Information GamesJun 25, 2024The Power of Counting Steps in Quantitative GamesMar 22, 2022Strategy Complexity of Reachability in Countable Stochastic 2-Player GamesNov 17, 2025Optimal Sequential FlowsJan 24, 2024Memoryless Strategies in Stochastic Reachability GamesJul 16, 2013Branching-Time Model Checking Gap-Order Constraint Systems (Extended Version)Sep 13, 2019Controlling a Random Population is EXPTIME-hardOct 5, 2016Linear Combinations of Unordered Data VectorsApr 15, 2013Decidability of Weak Simulation on One-counter NetsJun 21, 2018Universal Safety for Timed Petri Nets is PSPACE-completeJul 27, 2015On Boundedness Problems for Pushdown Vector Addition SystemsJul 2, 2019Timed Basic Parallel Processes