Publications Conference proceedings (5) 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 Thesis 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 Peer reviewed articles (6) 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 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 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 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
