Rasmus Ibsen-Jensen

Available identifiers

zbMath Open ibsen-jensen.rasmusWikidataQ102413835 ScholiaQ102413835MaRDI QIDQ1702914

List of research outcomes

Publication	Date of Publication	Type
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
The Big Match in Small Space	2016-09-29	Paper
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth	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

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: Rasmus Ibsen-Jensen