ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Mehrdad Karrabi

Ehsan Kafshdar Goharshadi

Ali Asadi

Jakub Svoboda

Raimundo Saona Urmeneta

Krishnendu Chatterjee

Valentin Hübner

Maximilian Weininger

Ruichen Luo

Sasha Rubin

Florian Horn

Mingzhang Huang

Petr Novotny

Djordje Zikelic

Ventsislav Chonev

Tadeas Priklopil

Johannes Reiter

Tobias Meggendorfer

Martin Chmelik

Laura Schmid

Benjamin Aminof

Jan Kretinsky

Andreas Pavlogiannis

Maria Kleshnina

Mathieu Tracol

Joost Katoen

Ismael Jecker

Amir Goharshady

Rasmus Ibsen-Jensen

John Lazarsfeld

Christian Hilbe

Viktor Toman

Hongfei Fu

Pepa Tkadlec

472 Publications

Search / Filter

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

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Mean Payoff Games. Vol. 8573, no. Part 2, Springer, 2014, pp. 122–33, doi:10.1007/978-3-662-43951-7_11.

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

2014 | Published | Conference Paper | IST-REx-ID: 2163 |

Chatterjee, Krishnendu, and Laurent Doyen. “Games with a Weak Adversary.” Lecture Notes in Computer Science, vol. 8573, no. Part 2, Springer, 2014, pp. 110–21, doi:10.1007/978-3-662-43951-7_10.

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

2014 | Published | Journal Article | IST-REx-ID: 2187 |

Bloem, Roderick, et al. “Synthesizing Robust Systems.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 193–220, doi:10.1007/s00236-013-0191-5.

[Submitted Version] View | Files available | DOI

2014 | Published | Conference Paper | IST-REx-ID: 2190 |

Esparza, Javier, and Jan Kretinsky. From LTL to Deterministic Automata: A Safraless Compositional Approach. Vol. 8559, Springer, 2014, pp. 192–208, doi:10.1007/978-3-319-08867-9_13.

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

2014 | Published | Journal Article | IST-REx-ID: 2211 |

Chatterjee, Krishnendu, and Laurent Doyen. “Partial-Observation Stochastic Games: How to Win When Belief Fails.” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2, 16, ACM, 2014, doi:10.1145/2579821.

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

2014 | Published | Conference Paper | IST-REx-ID: 2212

Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. Vol. 8412, Springer, 2014, pp. 210–25, doi:10.1007/978-3-642-54830-7_14.

View | Files available | DOI

2014 | Published | Conference Paper | IST-REx-ID: 2213 |

Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. Vol. 8412, Springer, 2014, pp. 242–57, doi:10.1007/978-3-642-54830-7_16.

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

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

Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. Springer, 2014, pp. 303–12, doi:10.1145/2562059.2562141.

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

2014 | Published | Journal Article | IST-REx-ID: 2234 |

Brázdil, Tomáš, et al. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science, vol. 10, no. 1, International Federation of Computational Logic, 2014, doi:10.2168/LMCS-10(1:13)2014.

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

2014 | Published | Journal Article | IST-REx-ID: 2246 |

Grinshpun, Andrey, et al. “Alternating Traps in Muller and Parity Games.” Theoretical Computer Science, vol. 521, Elsevier, 2014, pp. 73–91, doi:10.1016/j.tcs.2013.11.032.

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

2014 | Published | Journal Article | IST-REx-ID: 2716 |

Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi:10.1007/s00236-013-0182-6.

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

2014 | Published | Conference Paper | IST-REx-ID: 475 |

Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.

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

2014 | Published | Journal Article | IST-REx-ID: 535 |

Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.

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

2014 | Published | Technical Report | IST-REx-ID: 5412 |

Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.