Formal Methods for Stochastic Models: Algorithms and Applications

Project Information

ForM-SMArt

Grant agreement ID: 863818

DOI

10.3030/863818

EC signature date 22 January 2020

Start date 1 January 2021

End date 31 December 2025

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 997 918,00

EU contribution

€ 1 997 918,00

Coordinated by

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Austria

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (14)

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees

Author(s): Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, Issue 37, 2023, Page(s) 11926-11935, ISSN 2374-3468
Publisher: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v37i10.26407

Quantitative Bounds on Resource Usage of Probabilistic Programs

Author(s): Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić
Published in: Proceedings of the ACM on Programming Languages, Issue 8, 2025, Page(s) 362-391, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3649824

Infection dynamics of COVID-19 virus under lockdown and reopening

Author(s): Jakub Svoboda; Josef Tkadlec; Andreas Pavlogiannis; Krishnendu Chatterjee; Martin A. Nowak
Published in: Scientific Reports, Vol 12, Iss 1, Pp 1-11 (2022), Issue 2, 2021, ISSN 2045-2322
Publisher: Nature Publishing Group
DOI: 10.1038/s41598-022-05333-5

Symbolic time and space tradeoffs for probabilistic verification

Author(s): Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil
Published in: LICS, Issue 2, 2021, ISSN 1043-6871
Publisher: IEEE
DOI: 10.48550/arxiv.2104.07466

On Lexicographic Proof Rules for Probabilistic Termination

Author(s): Chatterjee, Krishnendu; Goharshady, Ehsan Kafshdar; Novotný, Petr; Zárevúcky, Jiří; Žikelić, Đorđe
Published in: Formal Methods (FM) 2021, Issue 2, 2021, ISSN 0302-9743
Publisher: Springer Verlag
DOI: 10.48550/arxiv.2108.02188

Quantitative assessment can stabilize indirect reciprocity under imperfect information

Author(s): Laura Schmid, Farbod Ekbatani, Christian Hilbe, Krishnendu Chatterjee
Published in: Nature Communications, Issue 14, 2023, ISSN 2041-1723
Publisher: Nature Publishing Group
DOI: 10.1038/s41467-023-37817-x

Stable strategies of direct and indirect reciprocity across all social dilemmas

Author(s): Valentin Hübner, Laura Schmid, Christian Hilbe, Krishnendu Chatterjee
Published in: PNAS Nexus, Issue 4, 2025, ISSN 2752-6542
Publisher: Oxford University Press (OUP)
DOI: 10.1093/pnasnexus/pgaf154

Efficiency and resilience of cooperation in asymmetric social dilemmas

Author(s): Valentin Hübner, Manuel Staab, Christian Hilbe, Krishnendu Chatterjee, Maria Kleshnina
Published in: Proceedings of the National Academy of Sciences, Issue 121, 2024, ISSN 0027-8424
Publisher: National Academy of Sciences
DOI: 10.1073/pnas.2315558121

The reads-from equivalence for the TSO and PSO memory models

Author(s): Truc Lam Bui; Krishnendu Chatterjee; Tushar Gautam; Andreas Pavlogiannis; Viktor Toman
Published in: OOPSLA, Issue 1, 2021, ISSN 2475-1421
Publisher: ACM
DOI: 10.48550/arxiv.2011.11763

Graph Planning with Expected Finite Horizon

Author(s): Krishnendu Chatterjee; Laurent Doyen
Published in: LICS, Issue 1, 2022, ISSN 0022-0000
Publisher: Academic Press
DOI: 10.1016/j.jcss.2022.04.003

Fast and strong amplifiers of natural selection

Author(s): Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
Published in: Nature Communications, Issue 12, 2023, ISSN 2041-1723
Publisher: Nature Publishing Group
DOI: 10.1038/s41467-021-24271-w

A unified framework of direct and indirect reciprocity

Author(s): Laura Schmid, Krishnendu Chatterjee, Christian Hilbe, Martin A. Nowak
Published in: Nature Human Behaviour, Issue 5, 2023, Page(s) 1292-1302, ISSN 2397-3374
Publisher: Springer Science and Business Media LLC
DOI: 10.1038/s41562-021-01114-8

The effect of environmental information on evolution of cooperation in stochastic games

Author(s): Maria Kleshnina, Christian Hilbe, Štěpán Šimsa, Krishnendu Chatterjee, Martin A. Nowak
Published in: Nature Communications, Issue Volume 14, Article number 4153 (July 2023), 2024, ISSN 2041-1723
Publisher: Nature Publishing Group
DOI: 10.1101/2022.10.18.512560

Algorithms and conditional lower bounds for planning problems

Author(s): Krishnendu Chatterjee; Wolfgang Dvořák; Monika Henzinger; Alexander Svozil
Published in: Artificial Intelligence (AI), Issue 11, 2021, ISSN 1573-7462
Publisher: Elsevier
DOI: 10.48550/arxiv.1804.07031

Conference proceedings (6)

Stochastic processes with expected stopping time

Author(s): Krishnendu Chatterjee; Laurent Doyen
Published in: LICS, Issue 1, 2021
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470595

Proving non-termination by program reversal

Author(s): Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný; Đorđe Žikelić
Published in: PLDI, Issue 1, 2021
Publisher: ACM
DOI: 10.1145/3453483.3454093

Polynomial reachability witnesses via Stellensätze

Author(s): Ali Asadi; Krishnendu Chatterjee; Hongfei Fu; Amir Kafshdar Goharshady; Mohammad Mahdavi
Published in: https://hal.archives-ouvertes.fr/hal-03183862, Issue 1, 2021
Publisher: ACM
DOI: 10.1145/3453483.3454076

Stochastic Games with Lexicographic Reachability-Safety Objectives

Author(s): Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias
Published in: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds), Issue 1, 2020
Publisher: Springer
DOI: 10.1007/978-3-030-53291-8_21

Scalable Verification of Quantized Neural Networks (Technical Report)

Author(s): Henzinger, Thomas A.; Lechner, Mathias; Žikelić, Đorđe
Published in: Issue 5, 2021
Publisher: Springer
DOI: 10.48550/arxiv.2012.08185

On Satisficing in Quantitative Games

Author(s): Suguman Bansal; Krishnendu Chatterjee; Moshe Y. Vardi
Published in: TACAS (1), Issue 12, 2021
Publisher: Springer
DOI: 10.26226/morressier.604907f41a80aac83ca25ce8

Thesis and dissertations (1)

Improved verification techniques for concurrent systems

Author(s): Toman, Viktor
Published in: Issue 7, 2021
Publisher: ISTA
DOI: 10.15479/at:ista:10199

Book chapters (1)

Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs

Author(s): Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Đorđe Žikelić
Published in: Lecture Notes in Computer Science, Formal Methods, 2024, Page(s) 600-619
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71162-6_31