Formal Methods for Stochastic Models: Algorithms and Applications

Projektinformationen

ForM-SMArt

ID Finanzhilfevereinbarung: 863818

DOI

10.3030/863818

EK-Unterschriftsdatum 22 Januar 2020

Startdatum 1 Januar 2021

Enddatum 31 Dezember 2025

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 997 918,00

EU-Beitrag

€ 1 997 918,00

Koordiniert durch

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Austria

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (14)

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees

Autoren: Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 37, 2023, Seite(n) 11926-11935, ISSN 2374-3468
Herausgeber: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v37i10.26407

Quantitative Bounds on Resource Usage of Probabilistic Programs

Autoren: Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 8, 2025, Seite(n) 362-391, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3649824

Infection dynamics of COVID-19 virus under lockdown and reopening

Autoren: Jakub Svoboda; Josef Tkadlec; Andreas Pavlogiannis; Krishnendu Chatterjee; Martin A. Nowak
Veröffentlicht in: Scientific Reports, Vol 12, Iss 1, Pp 1-11 (2022), Ausgabe 2, 2021, ISSN 2045-2322
Herausgeber: Nature Publishing Group
DOI: 10.1038/s41598-022-05333-5

Symbolic time and space tradeoffs for probabilistic verification

Autoren: Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil
Veröffentlicht in: LICS, Ausgabe 2, 2021, ISSN 1043-6871
Herausgeber: IEEE
DOI: 10.48550/arxiv.2104.07466

On Lexicographic Proof Rules for Probabilistic Termination

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

Quantitative assessment can stabilize indirect reciprocity under imperfect information

Autoren: Laura Schmid, Farbod Ekbatani, Christian Hilbe, Krishnendu Chatterjee
Veröffentlicht in: Nature Communications, Ausgabe 14, 2023, ISSN 2041-1723
Herausgeber: Nature Publishing Group
DOI: 10.1038/s41467-023-37817-x

Stable strategies of direct and indirect reciprocity across all social dilemmas

Autoren: Valentin Hübner, Laura Schmid, Christian Hilbe, Krishnendu Chatterjee
Veröffentlicht in: PNAS Nexus, Ausgabe 4, 2025, ISSN 2752-6542
Herausgeber: Oxford University Press (OUP)
DOI: 10.1093/pnasnexus/pgaf154

Efficiency and resilience of cooperation in asymmetric social dilemmas

Autoren: Valentin Hübner, Manuel Staab, Christian Hilbe, Krishnendu Chatterjee, Maria Kleshnina
Veröffentlicht in: Proceedings of the National Academy of Sciences, Ausgabe 121, 2024, ISSN 0027-8424
Herausgeber: National Academy of Sciences
DOI: 10.1073/pnas.2315558121

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

Autoren: Truc Lam Bui; Krishnendu Chatterjee; Tushar Gautam; Andreas Pavlogiannis; Viktor Toman
Veröffentlicht in: OOPSLA, Ausgabe 1, 2021, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.48550/arxiv.2011.11763

Graph Planning with Expected Finite Horizon

Autoren: Krishnendu Chatterjee; Laurent Doyen
Veröffentlicht in: LICS, Ausgabe 1, 2022, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2022.04.003

Fast and strong amplifiers of natural selection

Autoren: Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
Veröffentlicht in: Nature Communications, Ausgabe 12, 2023, ISSN 2041-1723
Herausgeber: Nature Publishing Group
DOI: 10.1038/s41467-021-24271-w

A unified framework of direct and indirect reciprocity

Autoren: Laura Schmid, Krishnendu Chatterjee, Christian Hilbe, Martin A. Nowak
Veröffentlicht in: Nature Human Behaviour, Ausgabe 5, 2023, Seite(n) 1292-1302, ISSN 2397-3374
Herausgeber: 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

Autoren: Maria Kleshnina, Christian Hilbe, Štěpán Šimsa, Krishnendu Chatterjee, Martin A. Nowak
Veröffentlicht in: Nature Communications, Ausgabe Volume 14, Article number 4153 (July 2023), 2024, ISSN 2041-1723
Herausgeber: Nature Publishing Group
DOI: 10.1101/2022.10.18.512560

Algorithms and conditional lower bounds for planning problems

Autoren: Krishnendu Chatterjee; Wolfgang Dvořák; Monika Henzinger; Alexander Svozil
Veröffentlicht in: Artificial Intelligence (AI), Ausgabe 11, 2021, ISSN 1573-7462
Herausgeber: Elsevier
DOI: 10.48550/arxiv.1804.07031

Conference proceedings (6)

Stochastic processes with expected stopping time

Autoren: Krishnendu Chatterjee; Laurent Doyen
Veröffentlicht in: LICS, Ausgabe 1, 2021
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470595

Proving non-termination by program reversal

Autoren: Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný; Đorđe Žikelić
Veröffentlicht in: PLDI, Ausgabe 1, 2021
Herausgeber: ACM
DOI: 10.1145/3453483.3454093

Polynomial reachability witnesses via Stellensätze

Autoren: Ali Asadi; Krishnendu Chatterjee; Hongfei Fu; Amir Kafshdar Goharshady; Mohammad Mahdavi
Veröffentlicht in: https://hal.archives-ouvertes.fr/hal-03183862, Ausgabe 1, 2021
Herausgeber: ACM
DOI: 10.1145/3453483.3454076

Stochastic Games with Lexicographic Reachability-Safety Objectives

Autoren: Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias
Veröffentlicht 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), Ausgabe 1, 2020
Herausgeber: Springer
DOI: 10.1007/978-3-030-53291-8_21

Scalable Verification of Quantized Neural Networks (Technical Report)

Autoren: Henzinger, Thomas A.; Lechner, Mathias; Žikelić, Đorđe
Veröffentlicht in: Ausgabe 5, 2021
Herausgeber: Springer
DOI: 10.48550/arxiv.2012.08185

On Satisficing in Quantitative Games

Autoren: Suguman Bansal; Krishnendu Chatterjee; Moshe Y. Vardi
Veröffentlicht in: TACAS (1), Ausgabe 12, 2021
Herausgeber: Springer
DOI: 10.26226/morressier.604907f41a80aac83ca25ce8

Thesis and dissertations (1)

Improved verification techniques for concurrent systems

Autoren: Toman, Viktor
Veröffentlicht in: Ausgabe 7, 2021
Herausgeber: ISTA
DOI: 10.15479/at:ista:10199

Book chapters (1)

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

Autoren: Krishnendu Chatterjee, Amir Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Đorđe Žikelić
Veröffentlicht in: Lecture Notes in Computer Science, Formal Methods, 2024, Seite(n) 600-619
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71162-6_31