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.

Krishnendu Chatterjee

Ali Asadi

Ehsan Kafshdar Goharshadi

Mehrdad Karrabi

Pavol Kebis

Ruichen Luo

David Lurie

Satya Nayak

Ali Shafiee

Martin Chmelik

Ventsislav Chonev

Benjamin Aminof

Hongfei Fu

Amir Goharshady

Christian Hilbe

Florian Horn

Mingzhang Huang

Valentin Hübner

Rasmus Ibsen-Jensen

Ismael Jecker

Joost Katoen

Maria Kleshnina

Jan Kretinsky

John Lazarsfeld

Tobias Meggendorfer

Petr Novotny

Andreas Pavlogiannis

Tadeas Priklopil

Johannes Reiter

Sasha Rubin

Raimundo Saona Urmeneta

Laura Schmid

Jakub Svoboda

Pepa Tkadlec

Viktor Toman

Mathieu Tracol

Maximilian Weininger

Djordje Zikelic

534 Publications

Search / Filter

2021 | Published | Journal Article | IST-REx-ID: 9381 |

Mistakes can stabilise the dynamics of rock-paper-scissors games
M. Kleshnina, S.S. Streipert, J.A. Filar, K. Chatterjee, PLoS Computational Biology 17 (2021).

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

Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.

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

2021 | Book Chapter | IST-REx-ID: 9403 |

The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.

[Published Version] View | Download Published Version (ext.)

2021 | Published | Journal Article | IST-REx-ID: 9640 |

Fast and strong amplifiers of natural selection
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).

2021 | Published | Conference Paper | IST-REx-ID: 9644 |

Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.

2021 | Published | Conference Paper | IST-REx-ID: 9645 |

Polynomial reachability witnesses via Stellensätze
A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.

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

2021 | Published | Conference Paper | IST-REx-ID: 9646 |

Quantitative analysis of assertion violations in probabilistic programs
J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.

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

2021 | Published | Conference Paper | IST-REx-ID: 9987 |

Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.

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

2021 | Published | Conference Paper | IST-REx-ID: 10667 |

Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.

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

2021 | Published | Journal Article | IST-REx-ID: 9293 |

Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).

2021 | Published | Conference Paper | IST-REx-ID: 10002 |

Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.

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

Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2021, pp. 1–13.

2021 | Published | Thesis | PhD | IST-REx-ID: 10293 |

Evolution of cooperation via (in)direct reciprocity under imperfect information
L. Schmid, Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

2021 | Published | Journal Article | IST-REx-ID: 9997 |

The evolution of indirect reciprocity under action and assessment generosity
L. Schmid, P. Shati, C. Hilbe, K. Chatterjee, Scientific Reports 11 (2021).

2021 | Published | Journal Article | IST-REx-ID: 9402 |

A unified framework of direct and indirect reciprocity
L. Schmid, K. Chatterjee, C. Hilbe, M.A. Nowak, Nature Human Behaviour 5 (2021) 1292–1302.

2021 | Published | Thesis | PhD | IST-REx-ID: 8934 |

Parameterized and algebro-geometric advances in static program analysis
A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021.

[Published Version] View | Files available | DOI

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

Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, (2020).

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

2020 | Published | Journal Article | IST-REx-ID: 15055 |

Reinforcement learning of risk-constrained policies in Markov decision processes
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.

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

2020 | Published | Conference Paper | IST-REx-ID: 15082 |

Disjoint tree-compatible plane perfect matchings
O. Aichholzer, J. Obmann, P. Patak, D. Perz, J. Tkadlec, in:, 36th European Workshop on Computational Geometry, 2020.

[Published Version] View | Download Published Version (ext.)

2020 | Published | Book Chapter | IST-REx-ID: 19986 |

Termination Analysis of Probabilistic Programs with Martingales
K. Chatterjee, H. Fu, P. Novotný, in:, Foundations of Probabilistic Programming, Cambridge University Press, 2020, pp. 221–258.

[Published Version] View | Files available | DOI

Chatterjee Group

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

Alumni

534 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Chatterjee Group

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

Alumni

534 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options