Formal Methods for Stochastic Models: Algorithms and Applications

Informations projet

ForM-SMArt

N° de convention de subvention: 863818

DOI

10.3030/863818

Date de signature de la CE 22 Janvier 2020

Date de début 1 Janvier 2021

Date de fin 31 Decembre 2025

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 997 918,00

Contribution de l’UE

€ 1 997 918,00

Coordonné par

INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA
Austria

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (14)

Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees

Auteurs: Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee
Publié dans: Proceedings of the AAAI Conference on Artificial Intelligence, Numéro 37, 2023, Page(s) 11926-11935, ISSN 2374-3468
Éditeur: Association for the Advancement of Artificial Intelligence (AAAI)
DOI: 10.1609/aaai.v37i10.26407

Quantitative Bounds on Resource Usage of Probabilistic Programs

Auteurs: Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Đorđe Žikelić
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 8, 2025, Page(s) 362-391, ISSN 2475-1421
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3649824

Infection dynamics of COVID-19 virus under lockdown and reopening

Auteurs: Jakub Svoboda; Josef Tkadlec; Andreas Pavlogiannis; Krishnendu Chatterjee; Martin A. Nowak
Publié dans: Scientific Reports, Vol 12, Iss 1, Pp 1-11 (2022), Numéro 2, 2021, ISSN 2045-2322
Éditeur: Nature Publishing Group
DOI: 10.1038/s41598-022-05333-5

Symbolic time and space tradeoffs for probabilistic verification

Auteurs: Krishnendu Chatterjee; Wolfgang Dvorák; Monika Henzinger; Alexander Svozil
Publié dans: LICS, Numéro 2, 2021, ISSN 1043-6871
Éditeur: IEEE
DOI: 10.48550/arxiv.2104.07466

On Lexicographic Proof Rules for Probabilistic Termination

Auteurs: Chatterjee, Krishnendu; Goharshady, Ehsan Kafshdar; Novotný, Petr; Zárevúcky, Jiří; Žikelić, Đorđe
Publié dans: Formal Methods (FM) 2021, Numéro 2, 2021, ISSN 0302-9743
Éditeur: Springer Verlag
DOI: 10.48550/arxiv.2108.02188

Quantitative assessment can stabilize indirect reciprocity under imperfect information

Auteurs: Laura Schmid, Farbod Ekbatani, Christian Hilbe, Krishnendu Chatterjee
Publié dans: Nature Communications, Numéro 14, 2023, ISSN 2041-1723
Éditeur: Nature Publishing Group
DOI: 10.1038/s41467-023-37817-x

Stable strategies of direct and indirect reciprocity across all social dilemmas

Auteurs: Valentin Hübner, Laura Schmid, Christian Hilbe, Krishnendu Chatterjee
Publié dans: PNAS Nexus, Numéro 4, 2025, ISSN 2752-6542
Éditeur: Oxford University Press (OUP)
DOI: 10.1093/pnasnexus/pgaf154

Efficiency and resilience of cooperation in asymmetric social dilemmas

Auteurs: Valentin Hübner, Manuel Staab, Christian Hilbe, Krishnendu Chatterjee, Maria Kleshnina
Publié dans: Proceedings of the National Academy of Sciences, Numéro 121, 2024, ISSN 0027-8424
Éditeur: National Academy of Sciences
DOI: 10.1073/pnas.2315558121

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

Auteurs: Truc Lam Bui; Krishnendu Chatterjee; Tushar Gautam; Andreas Pavlogiannis; Viktor Toman
Publié dans: OOPSLA, Numéro 1, 2021, ISSN 2475-1421
Éditeur: ACM
DOI: 10.48550/arxiv.2011.11763

Graph Planning with Expected Finite Horizon

Auteurs: Krishnendu Chatterjee; Laurent Doyen
Publié dans: LICS, Numéro 1, 2022, ISSN 0022-0000
Éditeur: Academic Press
DOI: 10.1016/j.jcss.2022.04.003

Fast and strong amplifiers of natural selection

Auteurs: Josef Tkadlec, Andreas Pavlogiannis, Krishnendu Chatterjee, Martin A. Nowak
Publié dans: Nature Communications, Numéro 12, 2023, ISSN 2041-1723
Éditeur: Nature Publishing Group
DOI: 10.1038/s41467-021-24271-w

A unified framework of direct and indirect reciprocity

Auteurs: Laura Schmid, Krishnendu Chatterjee, Christian Hilbe, Martin A. Nowak
Publié dans: Nature Human Behaviour, Numéro 5, 2023, Page(s) 1292-1302, ISSN 2397-3374
Éditeur: 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

Auteurs: Maria Kleshnina, Christian Hilbe, Štěpán Šimsa, Krishnendu Chatterjee, Martin A. Nowak
Publié dans: Nature Communications, Numéro Volume 14, Article number 4153 (July 2023), 2024, ISSN 2041-1723
Éditeur: Nature Publishing Group
DOI: 10.1101/2022.10.18.512560

Algorithms and conditional lower bounds for planning problems

Auteurs: Krishnendu Chatterjee; Wolfgang Dvořák; Monika Henzinger; Alexander Svozil
Publié dans: Artificial Intelligence (AI), Numéro 11, 2021, ISSN 1573-7462
Éditeur: Elsevier
DOI: 10.48550/arxiv.1804.07031

Conference proceedings (6)

Stochastic processes with expected stopping time

Auteurs: Krishnendu Chatterjee; Laurent Doyen
Publié dans: LICS, Numéro 1, 2021
Éditeur: IEEE
DOI: 10.1109/lics52264.2021.9470595

Proving non-termination by program reversal

Auteurs: Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný; Đorđe Žikelić
Publié dans: PLDI, Numéro 1, 2021
Éditeur: ACM
DOI: 10.1145/3453483.3454093

Polynomial reachability witnesses via Stellensätze

Auteurs: Ali Asadi; Krishnendu Chatterjee; Hongfei Fu; Amir Kafshdar Goharshady; Mohammad Mahdavi
Publié dans: https://hal.archives-ouvertes.fr/hal-03183862, Numéro 1, 2021
Éditeur: ACM
DOI: 10.1145/3453483.3454076

Stochastic Games with Lexicographic Reachability-Safety Objectives

Auteurs: Chatterjee, Krishnendu; Katoen, Joost-Pieter; Weininger, Maximilian; Winkler, Tobias
Publié dans: 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), Numéro 1, 2020
Éditeur: Springer
DOI: 10.1007/978-3-030-53291-8_21

Scalable Verification of Quantized Neural Networks (Technical Report)

Auteurs: Henzinger, Thomas A.; Lechner, Mathias; Žikelić, Đorđe
Publié dans: Numéro 5, 2021
Éditeur: Springer
DOI: 10.48550/arxiv.2012.08185

On Satisficing in Quantitative Games

Auteurs: Suguman Bansal; Krishnendu Chatterjee; Moshe Y. Vardi
Publié dans: TACAS (1), Numéro 12, 2021
Éditeur: Springer
DOI: 10.26226/morressier.604907f41a80aac83ca25ce8

Thesis and dissertations (1)

Improved verification techniques for concurrent systems

Auteurs: Toman, Viktor
Publié dans: Numéro 7, 2021
Éditeur: ISTA
DOI: 10.15479/at:ista:10199

Book chapters (1)

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

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