The following pages link to Rasmus Ibsen-Jensen (Q1702914):
Displaying 28 items.
- Faster algorithms for quantitative verification in constant treewidth graphs (Q1702915) (← links)
- Absorbing games with a clock and two bits of memory (Q2031198) (← links)
- Faster algorithms for quantitative verification in bounded treewidth graphs (Q2058390) (← links)
- Infinite-duration poorman-bidding games (Q2190378) (← links)
- The complexity of solving reachability games using value and strategy iteration (Q2254503) (← links)
- Bidding games on Markov decision processes (Q2330584) (← links)
- Qualitative analysis of concurrent mean-payoff games (Q2346403) (← links)
- Patience of matrix games (Q2444536) (← links)
- The Big Match in Small Space (Q2819448) (← links)
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth (Q2819794) (← links)
- Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Q2828317) (← links)
- A Faster Algorithm for Solving One-Clock Priced Timed Games (Q2842131) (← links)
- Solving Simple Stochastic Games with Few Coin Toss Positions (Q2912881) (← links)
- Edit distance for timed automata (Q2986983) (← links)
- Edit Distance for Pushdown Automata (Q3449470) (← links)
- Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs (Q4606297) (← links)
- Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies (Q5009424) (← links)
- (Q5089184) (← links)
- (Q5111270) (← links)
- (Q5111277) (← links)
- One-Clock Priced Timed Games are PSPACE-hard (Q5145650) (← links)
- The Complexity of Ergodic Mean-payoff Games (Q5167832) (← links)
- The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games (Q5326375) (← links)
- The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games (Q5363044) (← links)
- (Q5367062) (← links)
- (Q6187059) (← links)
- The Big Match with a Clock and a Bit of Memory (Q6199247) (← links)
- Complexity of spatial games (Q6604612) (← links)
