×

zbMATH — the first resource for mathematics

Ibsen-Jensen, Rasmus

Compute Distance To:
Author ID: ibsen-jensen.rasmus Recent zbMATH articles by "Ibsen-Jensen, Rasmus"
Published as: Ibsen-Jensen, Rasmus
External Links: MGP
Documents Indexed: 24 Publications since 2011

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 39 times in 32 Documents Cited by Year
Solving simple stochastic games with few coin toss positions. Zbl 1365.68283
Ibsen-Jensen, Rasmus; Miltersen, Peter Bro
5
2012
The complexity of ergodic mean-payoff games. Zbl 1410.68156
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
5
2014
The complexity of solving reachability games using value and strategy iteration. Zbl 1330.68112
Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus; Miltersen, Peter Bro
5
2011
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. Zbl 1346.68047
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas; Goyal, Prateesh
4
2015
A faster algorithm for solving one-clock priced timed games. Zbl 1390.68387
Hansen, Thomas Dueholm; Ibsen-Jensen, Rasmus; Miltersen, Peter Bro
3
2013
Edit distance for pushdown automata. Zbl 1440.68151
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
3
2015
Infinite-duration poorman-bidding games. Zbl 1443.91070
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus
3
2018
The complexity of interior point methods for solving discounted turn-based stochastic games. Zbl 1390.68346
Hansen, Thomas Dueholm; Ibsen-Jensen, Rasmus
1
2013
The value 1 problem under finite-memory strategies for concurrent mean-payoff games. Zbl 1372.91007
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
1
2015
Edit distance for pushdown automata. Zbl 1440.68152
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
1
2017
The Big Match in small space (extended abstract). Zbl 1403.91038
Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus; Koucký, Michal
1
2016
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
1
2014
Faster algorithms for quantitative verification in constant treewidth graphs. Zbl 1381.68150
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2015
Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs. Zbl 1397.68030
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2016
Qualitative analysis of concurrent mean-payoff games. Zbl 1318.91039
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
1
2015
The complexity of solving reachability games using value and strategy iteration. Zbl 1319.68149
Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus; Bro Miltersen, Peter
1
2014
Bidding games on Markov decision processes. Zbl 1455.91054
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr
1
2019
Algorithms for algebraic path properties in concurrent systems of constant treewidth components. Zbl 1347.68260
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2016
Bidding games on Markov decision processes. Zbl 1455.91054
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr
1
2019
Infinite-duration poorman-bidding games. Zbl 1443.91070
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus
3
2018
Edit distance for pushdown automata. Zbl 1440.68152
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
1
2017
The Big Match in small space (extended abstract). Zbl 1403.91038
Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus; Koucký, Michal
1
2016
Optimal reachability and a space-time tradeoff for distance queries in constant-treewidth graphs. Zbl 1397.68030
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2016
Algorithms for algebraic path properties in concurrent systems of constant treewidth components. Zbl 1347.68260
Chatterjee, Krishnendu; Goharshady, Amir Kafshdar; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2016
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. Zbl 1346.68047
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas; Goyal, Prateesh
4
2015
Edit distance for pushdown automata. Zbl 1440.68151
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
3
2015
The value 1 problem under finite-memory strategies for concurrent mean-payoff games. Zbl 1372.91007
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
1
2015
Faster algorithms for quantitative verification in constant treewidth graphs. Zbl 1381.68150
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Pavlogiannis, Andreas
1
2015
Qualitative analysis of concurrent mean-payoff games. Zbl 1318.91039
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
1
2015
The complexity of ergodic mean-payoff games. Zbl 1410.68156
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus
5
2014
Edit distance for timed automata. Zbl 1360.68544
Chatterjee, Krishnendu; Ibsen-Jensen, Rasmus; Majumdar, Rupak
1
2014
The complexity of solving reachability games using value and strategy iteration. Zbl 1319.68149
Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus; Bro Miltersen, Peter
1
2014
A faster algorithm for solving one-clock priced timed games. Zbl 1390.68387
Hansen, Thomas Dueholm; Ibsen-Jensen, Rasmus; Miltersen, Peter Bro
3
2013
The complexity of interior point methods for solving discounted turn-based stochastic games. Zbl 1390.68346
Hansen, Thomas Dueholm; Ibsen-Jensen, Rasmus
1
2013
Solving simple stochastic games with few coin toss positions. Zbl 1365.68283
Ibsen-Jensen, Rasmus; Miltersen, Peter Bro
5
2012
The complexity of solving reachability games using value and strategy iteration. Zbl 1330.68112
Hansen, Kristoffer Arnsfelt; Ibsen-Jensen, Rasmus; Miltersen, Peter Bro
5
2011

Citations by Year