Rasmus - PDFSEARCH.IO - Document Search Engine

Rasmus
Results: 493

#	Item
41	A Faster Algorithm for Solving One-Clock Priced Timed Games∗ Thomas Dueholm Hansen† Rasmus Ibsen-Jensen† Add to Reading List Source URL: cs.au.dk Language: 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 Add to Reading List Source URL: www.cs.au.dk Language: 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 Add to Reading List Source URL: www.cs.au.dk Language: English - Date: 2016-03-07 08:29:44
44	Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs Krishnendu Chatterjee† Rasmus Ibsen-Jensen† † Add to Reading List Source URL: www.cs.au.dk Language: 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 Add to Reading List Source URL: cs.au.dk Language: 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 Add to Reading List Source URL: www.cs.au.dk Language: 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† Add to Reading List Source URL: www.cs.au.dk Language: 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 Add to Reading List Source URL: www.cs.au.dk Language: 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 Add to Reading List Source URL: modalityandmodalities.weebly.com Language: 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 Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2014-05-23 17:12:21