


default search action
Krishnendu Chatterjee
Person information
- affiliation: IST Austria, Klosterneuburg, Austria
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j97]Yichao Zhang
, Jiasheng Wang
, Guanghui Wen
, Jihong Guan
, Shuigeng Zhou
, Guanrong Chen
, Krishnendu Chatterjee, Matjaz Perc
:
Limitation of Time Promotes Cooperation in Structured Collaboration Systems. IEEE Trans. Netw. Sci. Eng. 12(1): 4-12 (2025) - 2024
- [j96]Krishnendu Chatterjee
, Joost-Pieter Katoen
, Stefanie Mohr
, Maximilian Weininger
, Tobias Winkler
:
Stochastic games with lexicographic objectives. Formal Methods Syst. Des. 63(1): 40-80 (2024) - [j95]Christel Baier
, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
:
Entropic risk for turn-based stochastic games. Inf. Comput. 301: 105214 (2024) - [j94]Krishnendu Chatterjee, Laurent Doyen:
Stochastic Processes with Expected Stopping Time. Log. Methods Comput. Sci. 20(4) (2024) - [j93]Krishnendu Chatterjee
, Amir Kafshdar Goharshady, Tobias Meggendorfer
, Dorde Zikelic:
Quantitative Bounds on Resource Usage of Probabilistic Programs. Proc. ACM Program. Lang. 8(OOPSLA1): 362-391 (2024) - [j92]Krishnendu Chatterjee
, Ehsan Kafshdar Goharshady
, Petr Novotný
, Dorde Zikelic:
Equivalence and Similarity Refutation for Probabilistic Programs. Proc. ACM Program. Lang. 8(PLDI): 2098-2122 (2024) - [j91]Jakub Svoboda
, Soham Joshi
, Josef Tkadlec
, Krishnendu Chatterjee
:
Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating. PLoS Comput. Biol. 20(3): 1012008 (2024) - [c246]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic:
Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs. FM (1) 2024: 600-619 - [c245]Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda:
Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms. FSTTCS 2024: 5:1-5:17 - [c244]Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee:
Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. ICML 2024 - [c243]S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic:
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties. IJCAI 2024: 3-12 - [c242]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic:
Solving Long-run Average Reward Robust MDPs via Stochastic Games. IJCAI 2024: 6707-6715 - [c241]Ali Asadi
, Krishnendu Chatterjee
, Jakub Svoboda
, Raimundo Saona Urmeneta
:
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. LICS 2024: 6:1-6:12 - [c240]Esra Ceylan, Krishnendu Chatterjee, Stefan Schmid, Jakub Svoboda:
Congestion-Free Rerouting of Network Flows: Hardness and an FPT Algorithm. NOMS 2024: 1-7 - [c239]Dan Alistarh
, Krishnendu Chatterjee
, Mehrdad Karrabi
, John Lazarsfeld
:
Game Dynamics and Equilibrium Computation in the Population Protocol Model. PODC 2024: 40-49 - [c238]Krishnendu Chatterjee
, Amirali Ebrahim-Zadeh
, Mehrdad Karrabi
, Krzysztof Pietrzak
, Michelle Yeo
, Dorde Zikelic:
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. PODC 2024: 268-278 - [i190]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Dorde Zikelic:
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs. CoRR abs/2403.05386 (2024) - [i189]Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma:
Learning Algorithms for Verification of Markov Decision Processes. CoRR abs/2403.09184 (2024) - [i188]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic:
Equivalence and Similarity Refutation for Probabilistic Programs. CoRR abs/2404.03430 (2024) - [i187]Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda:
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. CoRR abs/2405.02479 (2024) - [i186]Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda:
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms. CoRR abs/2405.02486 (2024) - [i185]S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic:
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties. CoRR abs/2405.04015 (2024) - [i184]Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic:
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. CoRR abs/2405.04420 (2024) - [i183]Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto:
Ergodic Unobservable MDPs: Decidability of Approximation. CoRR abs/2405.12583 (2024) - [i182]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Milad Saadat, Dorde Zikelic:
PolyHorn: A Polynomial Horn Clause Solver. CoRR abs/2408.03796 (2024) - [i181]Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Ali Shafiee:
Limit-sure reachability for small memory policies in POMDPs is NP-complete. CoRR abs/2412.00941 (2024) - [i180]Krishnendu Chatterjee, Ruichen Luo, Raimundo Saona, Jakub Svoboda:
Linear Equations with Min and Max Operators: Computational Complexity. CoRR abs/2412.12228 (2024) - [i179]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, Dorde Zikelic:
Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization. CoRR abs/2412.16226 (2024) - [i178]Krishnendu Chatterjee, Amirali Ebrahim-Zadeh, Mehrdad Karrabi, Krzysztof Pietrzak, Michelle Yeo, Dorde Zikelic:
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains. IACR Cryptol. ePrint Arch. 2024: 704 (2024) - 2023
- [j90]Krishnendu Chatterjee
, Ehsan Kafshdar Goharshady
, Petr Novotný
, Jiri Zárevúcky, Dorde Zikelic
:
On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects Comput. 35(2): 11:1-11:25 (2023) - [c237]Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee:
Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees. AAAI 2023: 11926-11935 - [c236]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus:
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. AAAI 2023: 14964-14973 - [c235]Matin Ansaripour, Krishnendu Chatterjee
, Thomas A. Henzinger
, Mathias Lechner
, Dorde Zikelic
:
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems. ATVA (1) 2023: 357-379 - [c234]Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady:
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CAV (3) 2023: 16-39 - [c233]S. Akshay
, Krishnendu Chatterjee
, Tobias Meggendorfer
, Dorde Zikelic
:
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CAV (3) 2023: 86-112 - [c232]Mahsa Bastankhah
, Krishnendu Chatterjee
, Mohammad Ali Maddah-Ali
, Stefan Schmid
, Jakub Svoboda
, Michelle Yeo
:
R2: Boosting Liquidity in Payment Channel Networks with Online Admission Control. FC (1) 2023: 309-325 - [c231]Christel Baier
, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
:
Entropic Risk for Turn-Based Stochastic Games. MFCS 2023: 15:1-15:16 - [c230]Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger:
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. NeurIPS 2023 - [c229]Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid
:
On the Convergence Time in Graphical Games: A Locality-Sensitive Approach. OPODIS 2023: 11:1-11:24 - [c228]Krishnendu Chatterjee, Tobias Meggendorfer, Raimundo Saona
, Jakub Svoboda
:
Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth. SODA 2023: 4590-4605 - [c227]Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic:
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. TACAS (1) 2023: 3-25 - [i177]Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady:
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. CoRR abs/2305.15104 (2023) - [i176]S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic:
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. CoRR abs/2305.16796 (2023) - [i175]Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer:
Entropic Risk for Turn-Based Stochastic Games. CoRR abs/2307.06611 (2023) - [i174]Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi, John Lazarsfeld:
Repeated Game Dynamics in Population Protocols. CoRR abs/2307.07297 (2023) - [i173]Dorde Zikelic, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger:
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees. CoRR abs/2312.01456 (2023) - [i172]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Dorde Zikelic:
Solving Long-run Average Reward Robust MDPs via Stochastic Games. CoRR abs/2312.13912 (2023) - 2022
- [j89]Krishnendu Chatterjee, Laurent Doyen
:
Graph planning with expected finite horizon. J. Comput. Syst. Sci. 129: 1-21 (2022) - [j88]Krishnendu Chatterjee
, Raimundo Saona
, Bruno Ziliotto
:
Finite-Memory Strategies in POMDPs with Long-Run Average Objectives. Math. Oper. Res. 47(1): 100-119 (2022) - [j87]Laura Schmid
, Christian Hilbe
, Krishnendu Chatterjee
, Martin A. Nowak:
Direct reciprocity between individuals that use different strategy spaces. PLoS Comput. Biol. 18(6) (2022) - [c226]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI 2022: 7326-7336 - [c225]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic:
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. CAV (1) 2022: 55-78 - [c224]Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
:
Complexity of Spatial Games. FSTTCS 2022: 11:1-11:14 - [c223]Ali Ahmadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi, Dorde Zikelic:
Algorithms and Hardness Results for Computing Cores of Markov Chains. FSTTCS 2022: 29:1-29:20 - [e4]Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar:
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13660, Springer 2022, ISBN 978-3-031-22336-5 [contents] - [i171]Dorde Zikelic, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger:
Learning Stabilizing Policies in Stochastic Control Systems. CoRR abs/2205.11991 (2022) - [i170]Mahsa Bastankhah, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid
, Jakub Svoboda, Michelle Yeo:
Online Admission Control and Rebalancing in Payment Channel Networks. CoRR abs/2209.11936 (2022) - [i169]Krishnendu Chatterjee, Mona Mohammadi, Raimundo Saona:
Repeated Prophet Inequality with Near-optimal Bounds. CoRR abs/2209.14368 (2022) - [i168]Krishnendu Chatterjee, Jakub Svoboda, Dorde Zikelic, Andreas Pavlogiannis, Josef Tkadlec:
Social Balance on Networks: Local Minima and Best Edge Dynamics. CoRR abs/2210.02394 (2022) - [i167]Matin Ansaripour, Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Learning Control Policies for Region Stabilization in Stochastic Systems. CoRR abs/2210.05304 (2022) - [i166]Dorde Zikelic, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee:
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees. CoRR abs/2210.05308 (2022) - [i165]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus:
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks. CoRR abs/2211.16187 (2022) - 2021
- [j86]Krishnendu Chatterjee
, Wolfgang Dvorák, Monika Henzinger
, Alexander Svozil:
Algorithms and conditional lower bounds for planning problems. Artif. Intell. 297: 103499 (2021) - [j85]Martin Zeiner
, Ulrich Schmid
, Krishnendu Chatterjee:
Optimal strategies for selecting coordinators. Discret. Appl. Math. 289: 392-415 (2021) - [j84]Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
:
Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods Syst. Des. 57(3): 401-428 (2021) - [j83]Truc Lam Bui, Krishnendu Chatterjee
, Tushar Gautam, Andreas Pavlogiannis
, Viktor Toman
:
The reads-from equivalence for the TSO and PSO memory models. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [j82]Maria Kleshnina
, Sabrina S. Streipert
, Jerzy A. Filar
, Krishnendu Chatterjee
:
Mistakes can stabilise the dynamics of rock-paper-scissors games. PLoS Comput. Biol. 17(4) (2021) - [c222]Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis
, Viktor Toman
:
Stateless Model Checking Under a Reads-Value-From Equivalence. CAV (1) 2021: 341-366 - [c221]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic:
On Lexicographic Proof Rules for Probabilistic Termination. FM 2021: 619-639 - [c220]Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
:
Quantitative Verification on Product Graphs of Small Treewidth. FSTTCS 2021: 42:1-42:23 - [c219]Krishnendu Chatterjee, Monika Henzinger
, Sagar Kale
, Alexander Svozil:
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. ICALP 2021: 124:1-124:21 - [c218]Petr Tomásek
, Karel Horák, Aditya Aradhye, Branislav Bosanský, Krishnendu Chatterjee:
Solving Partially Observable Stochastic Shortest-Path Games. IJCAI 2021: 4182-4189 - [c217]Krishnendu Chatterjee, Laurent Doyen:
Stochastic Processes with Expected Stopping Time. LICS 2021: 1-13 - [c216]Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger
, Alexander Svozil:
Symbolic Time and Space Tradeoffs for Probabilistic Verification. LICS 2021: 1-13 - [c215]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Infinite Time Horizon Safety of Bayesian Neural Networks. NeurIPS 2021: 10171-10185 - [c214]Ali Asadi, Krishnendu Chatterjee
, Hongfei Fu
, Amir Kafshdar Goharshady
, Mohammad Mahdavi:
Polynomial reachability witnesses via Stellensätze. PLDI 2021: 772-787 - [c213]Krishnendu Chatterjee
, Ehsan Kafshdar Goharshady, Petr Novotný
, Dorde Zikelic:
Proving non-termination by program reversal. PLDI 2021: 1033-1048 - [c212]Jinyi Wang, Yican Sun, Hongfei Fu
, Krishnendu Chatterjee
, Amir Kafshdar Goharshady
:
Quantitative analysis of assertion violations in probabilistic programs. PLDI 2021: 1171-1186 - [c211]Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. TACAS (1) 2021: 20-37 - [i164]Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi:
On Satisficing in Quantitative Games. CoRR abs/2101.02594 (2021) - [i163]Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, Stefan Schmid:
Classifying Convergence Complexity of Nash Equilibria in Graphical Games Using Distributed Computing Theory. CoRR abs/2102.13457 (2021) - [i162]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic:
Proving Non-termination by Program Reversal. CoRR abs/2104.01189 (2021) - [i161]Krishnendu Chatterjee, Laurent Doyen:
Stochastic Processes with Expected Stopping Time. CoRR abs/2104.07278 (2021) - [i160]Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil:
Symbolic Time and Space Tradeoffs for Probabilistic Verification. CoRR abs/2104.07466 (2021) - [i159]Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, Viktor Toman:
Stateless Model Checking under a Reads-Value-From Equivalence. CoRR abs/2105.06424 (2021) - [i158]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Jiri Zárevúcky, Dorde Zikelic:
On Lexicographic Proof Rules for Probabilistic Termination. CoRR abs/2108.02188 (2021) - [i157]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Infinite Time Horizon Safety of Bayesian Neural Networks. CoRR abs/2111.03165 (2021) - [i156]Mathias Lechner, Dorde Zikelic, Krishnendu Chatterjee, Thomas A. Henzinger:
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. CoRR abs/2112.09495 (2021) - 2020
- [j81]Peixin Wang
, Hongfei Fu
, Krishnendu Chatterjee, Yuxin Deng
, Ming Xu:
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time. Proc. ACM Program. Lang. 4(POPL): 25:1-25:30 (2020) - [j80]Josef Tkadlec
, Andreas Pavlogiannis
, Krishnendu Chatterjee, Martin A. Nowak
:
Limits on amplifiers of natural selection under death-Birth updating. PLoS Comput. Biol. 16(1) (2020) - [j79]Kamran Kaveh
, Alex McAvoy
, Krishnendu Chatterjee, Martin A. Nowak
:
The Moran process on 2-chromatic graphs. PLoS Comput. Biol. 16(11): 1008402 (2020) - [j78]Andreas Pavlogiannis
, Nico Schaumberger, Ulrich Schmid
, Krishnendu Chatterjee:
Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3981-3992 (2020) - [c210]Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný
, Jiri Vahala:
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. AAAI 2020: 9794-9801 - [c209]Krishnendu Chatterjee, Martin Chmelík, Deep Karkhanis, Petr Novotný, Amélie Royer:
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. ICAPS 2020: 48-56 - [c208]Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis
:
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. ATVA 2020: 253-270 - [c207]Krishnendu Chatterjee
, Joost-Pieter Katoen
, Maximilian Weininger
, Tobias Winkler
:
Stochastic Games with Lexicographic Reachability-Safety Objectives. CAV (2) 2020: 398-420 - [c206]Krishnendu Chatterjee
, Thomas A. Henzinger, Jan Otop
:
Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States. CONCUR 2020: 23:1-23:22 - [c205]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis
:
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. ESOP 2020: 112-140 - [c204]Pranav Ashok
, Krishnendu Chatterjee, Jan Kretínský, Maximilian Weininger
, Tobias Winkler
:
Approximating Values of Generalized-Reachability Stochastic Games. LICS 2020: 102-115 - [c203]Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
:
Simplified Game of Life: Algorithms and Complexity. MFCS 2020: 22:1-22:13 - [c202]Krishnendu Chatterjee, Hongfei Fu
, Amir Kafshdar Goharshady
, Ehsan Kafshdar Goharshady:
Polynomial invariant generation for non-deterministic recursive programs. PLDI 2020: 672-687 - [i155]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis:
Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. CoRR abs/2001.11070 (2020) - [i154]Tomás Brázdil, Krishnendu Chatterjee, Petr Novotný, Jiri Vahala:
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. CoRR abs/2002.12086 (2020) - [i153]Ali Asadi, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, Andreas Pavlogiannis:
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth. CoRR abs/2004.08828 (2020) - [i152]Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler:
Stochastic Games with Lexicographic Reachability-Safety Objectives. CoRR abs/2005.04018 (2020) - [i151]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States. CoRR abs/2007.08917 (2020) - [i150]Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Mohammad Mahdavi:
Inductive Reachability Witnesses. CoRR abs/2007.14259 (2020) - [i149]Jinyi Wang, Yican Sun, Hongfei Fu, Mingzhang Huang, Amir Kafshdar Goharshady, Krishnendu Chatterjee:
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations. CoRR abs/2008.00425 (2020) - [i148]Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman:
The Reads-From Equivalence for the TSO and PSO Memory Models. CoRR abs/2011.11763 (2020) - [i147]Jinyi Wang, Yican Sun, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee:
Quantitative Analysis of Assertion Violations in Probabilistic Programs. CoRR abs/2011.14617 (2020)
2010 – 2019
- 2019
- [j77]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
:
Quantitative Automata under Probabilistic Semantics. Log. Methods Comput. Sci. 15(3) (2019) - [j76]Krishnendu Chatterjee, Andreas Pavlogiannis
, Viktor Toman
:
Value-centric dynamic partial order reduction. Proc. ACM Program. Lang. 3(OOPSLA): 124:1-124:29 (2019) - [j75]Mingzhang Huang, Hongfei Fu
, Krishnendu Chatterjee, Amir Kafshdar Goharshady
:
Modular verification for almost-sure termination of probabilistic programs. Proc. ACM Program. Lang. 3(OOPSLA): 129:1-129:29 (2019) - [j74]Krishnendu Chatterjee, Amir Kafshdar Goharshady
, Nastaran Okati, Andreas Pavlogiannis
:
Efficient parameterized algorithms for data packing. Proc. ACM Program. Lang. 3(POPL): 53:1-53:28 (2019) - [j73]Krishnendu Chatterjee, Hongfei Fu
, Amir Kafshdar Goharshady
:
Non-polynomial Worst-Case Analysis of Recursive Programs. ACM Trans. Program. Lang. Syst. 41(4): 20:1-20:52 (2019) - [j72]