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

Publications

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

Peer reviewed articles (6)

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

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

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