Rasmus Ibsen-Jensen

Available identifiers

zbMath Open ibsen-jensen.rasmusWikidataQ102413835 ScholiaQ102413835MaRDI QIDQ1702914

List of research outcomes

Publication	Date of Publication	Type
Complexity of spatial games	2024-09-12	Paper
The Big Match with a Clock and a Bit of Memory	2024-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q6187059	2024-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q5089184	2022-07-18	Paper
Faster algorithms for quantitative verification in bounded treewidth graphs	2021-12-08	Paper
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies	2021-08-04	Paper
Absorbing games with a clock and two bits of memory	2021-06-08	Paper
One-Clock Priced Timed Games are PSPACE-hard	2021-01-21	Paper
Infinite-duration poorman-bidding games	2020-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q5111270	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5111277	2020-05-26	Paper
Bidding games on Markov decision processes	2019-10-22	Paper
Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs	2018-03-02	Paper
Faster algorithms for quantitative verification in constant treewidth graphs	2018-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q5367062	2017-10-12	Paper
The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games	2017-10-05	Paper
Edit distance for timed automata	2017-05-16	Paper
Algorithms for algebraic path properties in concurrent systems of constant treewidth components	2016-10-24	Paper
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth	2016-09-29	Paper
The Big Match in Small Space	2016-09-29	Paper
Edit Distance for Pushdown Automata	2015-11-04	Paper
Qualitative analysis of concurrent mean-payoff games	2015-06-01	Paper
The complexity of solving reachability games using value and strategy iteration	2015-02-05	Paper
The Complexity of Ergodic Mean-payoff Games	2014-07-01	Paper
Patience of matrix games	2014-04-10	Paper
A Faster Algorithm for Solving One-Clock Priced Timed Games	2013-08-12	Paper
The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games	2013-08-05	Paper
Solving Simple Stochastic Games with Few Coin Toss Positions	2012-09-25	Paper
The complexity of solving reachability games using value and strategy iteration	2011-06-17	Paper

Research outcomes over time

This page was built for person: Rasmus Ibsen-Jensen