ISTA Research Explorer

Rasmus Ibsen-Jensen

Chatterjee Group

44 Publications

[44]

2022 | Conference Paper | IST-REx-ID: 12101 |

Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2022). Complexity of spatial games. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11

[Published Version] View | Files available | DOI

[43]

2021 | Conference Paper | IST-REx-ID: 10629 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Quantitative verification on product graphs of small treewidth. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 213). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42

[Published Version] View | Files available | DOI

[42]

2021 | Journal Article | IST-REx-ID: 9393 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-021-00373-5

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[41]

2020 | Conference Paper | IST-REx-ID: 8533 |

Chatterjee, K., Ibsen-Jensen, R., Jecker, I. R., & Svoboda, J. (2020). Simplified game of life: Algorithms and complexity. In 45th International Symposium on Mathematical Foundations of Computer Science (Vol. 170). Prague, Czech Republic: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2020.22

[Published Version] View | Files available | DOI | arXiv

[40]

2020 | Journal Article | IST-REx-ID: 9197

Avni, G., Ibsen-Jensen, R., & Tkadlec, J. (2020). All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i02.5546

[Preprint] View | DOI | arXiv

[39]

2020 | Research Data Reference | IST-REx-ID: 9814 |

Ibsen-Jensen, R., Tkadlec, J., Chatterjee, K., & Nowak, M. (2020). Data and mathematica notebooks for plotting figures from language learning with communication between learners from language acquisition with communication between learners. Royal Society. https://doi.org/10.6084/m9.figshare.5973013.v1

[Published Version] View | Files available | DOI | Download Published Version (ext.)

[38]

2020 | Conference Paper | IST-REx-ID: 7810 |

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5

[Published Version] View | Files available | DOI | WoS

[37]

2019 | Conference Paper | IST-REx-ID: 6822 |

Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1

[Submitted Version] View | Files available | DOI

[36]

2019 | Journal Article | IST-REx-ID: 7158 |

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3363525

[Submitted Version] View | Files available | DOI | WoS

[35]

2018 | Conference Paper | IST-REx-ID: 5788 |

Avni, G., Henzinger, T. A., & Ibsen-Jensen, R. (2018). Infinite-duration poorman-bidding games (Vol. 11316, pp. 21–36). Presented at the 14th International Conference on Web and Internet Economics, WINE, Oxford, UK: Springer. https://doi.org/10.1007/978-3-030-04612-5_2

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[34]

2018 | Conference Paper | IST-REx-ID: 5967 |

Hansen, K. A., Ibsen-Jensen, R., & Neyman, A. (2018). The Big Match with a clock and a bit of memory. In Proceedings of the 2018 ACM Conference on Economics and Computation - EC ’18 (pp. 149–150). Ithaca, NY, United States: ACM Press. https://doi.org/10.1145/3219166.3219198

[Submitted Version] View | Files available | DOI | WoS

[33]

2018 | Journal Article | IST-REx-ID: 198 |

Ibsen-Jensen, R., Tkadlec, J., Chatterjee, K., & Nowak, M. (2018). Language acquisition with communication between learners. Journal of the Royal Society Interface. The Royal Society. https://doi.org/10.1098/rsif.2018.0073

[32]

2018 | Conference Paper | IST-REx-ID: 66 |

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Velner, Y. (2018). Ergodic mean-payoff games for the analysis of attacks in crypto-currencies (Vol. 118). Presented at the CONCUR: Conference on Concurrency Theory, Beijing, China: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2018.11

[Published Version] View | Files available | DOI | arXiv

[31]

2018 | Journal Article | IST-REx-ID: 6009 |

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2018). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM). https://doi.org/10.1145/3210257

[30]

2017 | Journal Article | IST-REx-ID: 465 |

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2017). Edit distance for pushdown automata. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.23638/LMCS-13(3:23)2017

[Published Version] View | Files available | DOI

[29]

2017 | Conference Paper | IST-REx-ID: 551 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2017). Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.61

[Published Version] View | Files available | DOI

[28]

2017 | Conference Paper | IST-REx-ID: 553 |

Chatterjee, K., Hansen, K., & Ibsen-Jensen, R. (2017). Strategy complexity of concurrent safety games. In Leibniz International Proceedings in Informatics (Vol. 83). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2017.55

[Published Version] View | Files available | DOI | Download Published Version (ext.)

[27]

2016 | Conference Paper | IST-REx-ID: 1182 |

Chatterjee, K., Ibsen-Jensen, R., & Tkadlec, J. (2016). Robust draws in balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA: AAAI Press.

[Preprint] View | Files available | Download Preprint (ext.)

[26]

2016 | Conference Paper | IST-REx-ID: 1340 |

Hansen, K., Ibsen-Jensen, R., & Koucký, M. (2016). The big match in small space (Vol. 9928, pp. 64–76). Presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-53354-3_6

[Preprint] View | DOI | Download Preprint (ext.)

[25]

2016 | Conference Paper | IST-REx-ID: 478 |

Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432

[Published Version] View | Files available | DOI

[24]

2016 | Conference Paper | IST-REx-ID: 1071 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs (Vol. 57). Presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik. https://doi.org/10.4230/LIPIcs.ESA.2016.28

[Published Version] View | Files available | DOI

[23]

2016 | Conference Paper | IST-REx-ID: 1437 |

Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[22]

2015 | Conference Paper | IST-REx-ID: 10796

Chatterjee, K., & Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2015, pp. 1018–1029). San Diego, CA, United States: SIAM. https://doi.org/10.1137/1.9781611973730.69

[Preprint] View | DOI | arXiv

[21]

2015 | Journal Article | IST-REx-ID: 1559 |

Ibsen-Jensen, R., Chatterjee, K., & Nowak, M. (2015). Computational complexity of ecological and evolutionary spatial dynamics. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1511366112

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

[20]

2015 | Journal Article | IST-REx-ID: 524 |

Chatterjee, K., & Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.03.009

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[19]

2015 | Technical Report | IST-REx-ID: 5431 |

Chatterjee, K., Ibsen-Jensen, R., & Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria. https://doi.org/10.15479/AT:IST-2015-322-v1-1

[Published Version] View | Files available | DOI

[18]

2015 | Conference Paper | IST-REx-ID: 1610 |

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. In 42nd International Colloquium (Vol. 9135, pp. 121–133). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47666-6_10

View | Files available | DOI | Download None (ext.) | arXiv

[17]

2015 | Technical Report | IST-REx-ID: 5437 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1

[Published Version] View | Files available | DOI

[16]

2015 | Technical Report | IST-REx-ID: 5430 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1

[Published Version] View | Files available | DOI

[15]

2015 | Technical Report | IST-REx-ID: 5438 |

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-334-v1-1

[Published Version] View | Files available | DOI

[14]

2015 | Technical Report | IST-REx-ID: 5440 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2

[Published Version] View | Files available | DOI

[13]

2015 | Technical Report | IST-REx-ID: 5432 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v1-1

[Published Version] View | Files available | DOI

[12]

2015 | Journal Article | IST-REx-ID: 1602 |

Chatterjee, K., Ibsen-Jensen, R., Pavlogiannis, A., & Goyal, P. (2015). Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. Mumbai, India: ACM. https://doi.org/10.1145/2676726.2676979

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[11]

2015 | Conference Paper | IST-REx-ID: 1607 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-21690-4_9

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[10]

2015 | Technical Report | IST-REx-ID: 5441 |

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1

[Published Version] View | Files available | DOI

[9]

2014 | Conference Paper | IST-REx-ID: 2162 |

Chatterjee, K., & Ibsen-Jensen, R. (2014). The complexity of ergodic mean payoff games (Vol. 8573, pp. 122–133). Presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_11

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[8]

2014 | Conference Paper | IST-REx-ID: 2216 |

Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2014). Edit distance for timed automata (pp. 303–312). Presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany: Springer. https://doi.org/10.1145/2562059.2562141

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[7]

2014 | Technical Report | IST-REx-ID: 5419 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-187-v1-1

[Published Version] View | Files available | DOI

[6]

2014 | Technical Report | IST-REx-ID: 5420 |

Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1

[Published Version] View | Files available | DOI

[5]

2014 | Technical Report | IST-REx-ID: 5427 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1

[Published Version] View | Files available | DOI

[4]

2014 | Technical Report | IST-REx-ID: 5421 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2

[Published Version] View | Files available | DOI

[3]

2013 | Technical Report | IST-REx-ID: 5403 |

Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1

[Published Version] View | Files available | DOI

[2]

2013 | Technical Report | IST-REx-ID: 5404 |

Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1

[Published Version] View | Files available | DOI

[1]

2013 | Technical Report | IST-REx-ID: 5409 |

Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1

[Published Version] View | Files available | DOI

44 Publications

Mark all

[44]

2022 | Conference Paper | IST-REx-ID: 12101 |

[Published Version] View | Files available | DOI

[43]

2021 | Conference Paper | IST-REx-ID: 10629 |

[Published Version] View | Files available | DOI

[42]

2021 | Journal Article | IST-REx-ID: 9393 |

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[41]

2020 | Conference Paper | IST-REx-ID: 8533 |

[Published Version] View | Files available | DOI | arXiv

[40]

2020 | Journal Article | IST-REx-ID: 9197

[Preprint] View | DOI | arXiv

[39]

2020 | Research Data Reference | IST-REx-ID: 9814 |

[Published Version] View | Files available | DOI | Download Published Version (ext.)

[38]

2020 | Conference Paper | IST-REx-ID: 7810 |

[Published Version] View | Files available | DOI | WoS

[37]

2019 | Conference Paper | IST-REx-ID: 6822 |

[Submitted Version] View | Files available | DOI

[36]

2019 | Journal Article | IST-REx-ID: 7158 |

[Submitted Version] View | Files available | DOI | WoS

[35]

2018 | Conference Paper | IST-REx-ID: 5788 |

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

[34]

2018 | Conference Paper | IST-REx-ID: 5967 |

[Submitted Version] View | Files available | DOI | WoS

[33]

2018 | Journal Article | IST-REx-ID: 198 |

[32]

2018 | Conference Paper | IST-REx-ID: 66 |

[Published Version] View | Files available | DOI | arXiv

[31]

2018 | Journal Article | IST-REx-ID: 6009 |

[30]

2017 | Journal Article | IST-REx-ID: 465 |

[Published Version] View | Files available | DOI

[29]

2017 | Conference Paper | IST-REx-ID: 551 |

[Published Version] View | Files available | DOI

[28]

2017 | Conference Paper | IST-REx-ID: 553 |

[Published Version] View | Files available | DOI | Download Published Version (ext.)

[27]

2016 | Conference Paper | IST-REx-ID: 1182 |

[Preprint] View | Files available | Download Preprint (ext.)

[26]

2016 | Conference Paper | IST-REx-ID: 1340 |

[Preprint] View | DOI | Download Preprint (ext.)

[25]

2016 | Conference Paper | IST-REx-ID: 478 |

[Published Version] View | Files available | DOI

[24]

2016 | Conference Paper | IST-REx-ID: 1071 |

[Published Version] View | Files available | DOI

[23]

2016 | Conference Paper | IST-REx-ID: 1437 |

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[22]

2015 | Conference Paper | IST-REx-ID: 10796

[Preprint] View | DOI | arXiv

[21]

2015 | Journal Article | IST-REx-ID: 1559 |

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

[20]

2015 | Journal Article | IST-REx-ID: 524 |

Chatterjee, K., & Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.03.009

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[19]

2015 | Technical Report | IST-REx-ID: 5431 |

[Published Version] View | Files available | DOI

[18]

2015 | Conference Paper | IST-REx-ID: 1610 |

View | Files available | DOI | Download None (ext.) | arXiv

[17]

2015 | Technical Report | IST-REx-ID: 5437 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1

[Published Version] View | Files available | DOI

[16]

2015 | Technical Report | IST-REx-ID: 5430 |

Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1

[Published Version] View | Files available | DOI

[15]

2015 | Technical Report | IST-REx-ID: 5438 |

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-334-v1-1

[Published Version] View | Files available | DOI

[14]

2015 | Technical Report | IST-REx-ID: 5440 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2

[Published Version] View | Files available | DOI

[13]

2015 | Technical Report | IST-REx-ID: 5432 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v1-1

[Published Version] View | Files available | DOI

[12]

2015 | Journal Article | IST-REx-ID: 1602 |

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[11]

2015 | Conference Paper | IST-REx-ID: 1607 |

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[10]

2015 | Technical Report | IST-REx-ID: 5441 |

[Published Version] View | Files available | DOI

[9]

2014 | Conference Paper | IST-REx-ID: 2162 |

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[8]

2014 | Conference Paper | IST-REx-ID: 2216 |

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[7]

2014 | Technical Report | IST-REx-ID: 5419 |

[Published Version] View | Files available | DOI

[6]

2014 | Technical Report | IST-REx-ID: 5420 |

Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1

[Published Version] View | Files available | DOI

[5]

2014 | Technical Report | IST-REx-ID: 5427 |

[Published Version] View | Files available | DOI

[4]

2014 | Technical Report | IST-REx-ID: 5421 |

Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2

[Published Version] View | Files available | DOI

[3]

2013 | Technical Report | IST-REx-ID: 5403 |

Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1

[Published Version] View | Files available | DOI

[2]

2013 | Technical Report | IST-REx-ID: 5404 |

Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1

[Published Version] View | Files available | DOI

[1]

2013 | Technical Report | IST-REx-ID: 5409 |

Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1

[Published Version] View | Files available | DOI

Rasmus Ibsen-Jensen

44 Publications

Search

Filter Publications

Display / Sort

Export / Embed

44 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Rasmus Ibsen-Jensen

44 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

44 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options