41![A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen† A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†](https://www.pdfsearch.io/img/872de04508f0f424965784a6e989416a.jpg) | Add to Reading ListSource URL: cs.au.dkLanguage: English - Date: 2013-01-11 18:40:10
|
---|
42![The complexity of solving reachability games using value and strategy iteration ∗ Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, and Peter Bro Miltersen Aarhus University {arnsfelt,rij,pbmiltersen}@cs.au.dk The complexity of solving reachability games using value and strategy iteration ∗ Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, and Peter Bro Miltersen Aarhus University {arnsfelt,rij,pbmiltersen}@cs.au.dk](https://www.pdfsearch.io/img/87ba94399e5fcfff1e3537aaea0ab35c.jpg) | Add to Reading ListSource URL: www.cs.au.dkLanguage: English - Date: 2015-08-11 05:53:51
|
---|
43![The computational complexity of ecological and evolutionary spatial dynamics Rasmus Ibsen-Jensen, IST Austria Krishnendu Chatterjee, IST Austria, Martin A. Nowak, Harvard University March 7, 2016 The computational complexity of ecological and evolutionary spatial dynamics Rasmus Ibsen-Jensen, IST Austria Krishnendu Chatterjee, IST Austria, Martin A. Nowak, Harvard University March 7, 2016](https://www.pdfsearch.io/img/5801964e5637cf4f5968e309592b5b07.jpg) | Add to Reading ListSource URL: www.cs.au.dkLanguage: English - Date: 2016-03-07 08:29:44
|
---|
44![Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs Krishnendu Chatterjee† Rasmus Ibsen-Jensen† † Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs Krishnendu Chatterjee† Rasmus Ibsen-Jensen† †](https://www.pdfsearch.io/img/e4887ef1d516d42312fd726ff5c6b13e.jpg) | Add to Reading ListSource URL: www.cs.au.dkLanguage: English - Date: 2015-08-11 05:53:51
|
---|
45![The complexity of interior point methods for solving discounted turn-based stochastic games Thomas Dueholm Hansen1,2 1 Rasmus Ibsen-Jensen1 The complexity of interior point methods for solving discounted turn-based stochastic games Thomas Dueholm Hansen1,2 1 Rasmus Ibsen-Jensen1](https://www.pdfsearch.io/img/cca0259bc796dcfc80079481a6098182.jpg) | Add to Reading ListSource URL: cs.au.dkLanguage: English - Date: 2014-10-11 19:20:21
|
---|
46![Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract](https://www.pdfsearch.io/img/46fcd3cd94a974ace46dc20134ff4ac3.jpg) | Add to Reading ListSource URL: www.cs.au.dkLanguage: English - Date: 2015-08-11 05:53:51
|
---|
47![A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen† A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen†](https://www.pdfsearch.io/img/1e4bae53a0fb4416fc2581e0fd45d0f9.jpg) | Add to Reading ListSource URL: www.cs.au.dkLanguage: English - Date: 2015-08-11 05:53:51
|
---|
48![Solving simple stochastic games with few coin toss positions∗ Rasmus Ibsen-Jensen Department of Computer Scinece Aarhus University Peter Bro Miltersen Solving simple stochastic games with few coin toss positions∗ Rasmus Ibsen-Jensen Department of Computer Scinece Aarhus University Peter Bro Miltersen](https://www.pdfsearch.io/img/d7129368e80d999dd2565f1777d3df8c.jpg) | Add to Reading ListSource URL: www.cs.au.dkLanguage: English |
---|
49![An Epistemic Extension of Threshold Models: Coordination based on Behavior Prediction Rasmus K. Rendsvig Joint work with Alexandru Baltag, Zoé Christoff and Sonja Smets LUIQ, Dep. of Philosophy, Lund University An Epistemic Extension of Threshold Models: Coordination based on Behavior Prediction Rasmus K. Rendsvig Joint work with Alexandru Baltag, Zoé Christoff and Sonja Smets LUIQ, Dep. of Philosophy, Lund University](https://www.pdfsearch.io/img/3ba31f668c42392a9b1fe17af3fa8709.jpg) | Add to Reading ListSource URL: modalityandmodalities.weebly.comLanguage: English - Date: 2014-06-21 19:06:44
|
---|
50![An Epistemic Extension of Threshold Models: Coordination based on Behavior Prediction Rasmus K. Rendsvig Joint work with Alexandru Baltag, Zoé Christoff and Sonja Smets LUIQ, Dep. of Philosophy, Lund University An Epistemic Extension of Threshold Models: Coordination based on Behavior Prediction Rasmus K. Rendsvig Joint work with Alexandru Baltag, Zoé Christoff and Sonja Smets LUIQ, Dep. of Philosophy, Lund University](https://www.pdfsearch.io/img/4f96fcbcbf1d6f6713b413c4e7dea842.jpg) | Add to Reading ListSource URL: modalityandmodalities.weebly.comLanguage: English - Date: 2014-05-23 17:12:21
|
---|