Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKrishnendu 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
- 2024
[j93]Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer, Jakob Piribauer
:
Entropic risk for turn-based stochastic games. Inf. Comput. 301: 105214 (2024)- [j92]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) - [j91]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) - [c242]Jakub Svoboda, Suguman Bansal, Krishnendu Chatterjee:
Reinforcement Learning from Reachability Specifications: PAC Guarantees with Expected Conditional Distance. ICML 2024 - [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 - [i186]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) - [i185]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) - [i184]Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Dorde Zikelic:
Equivalence and Similarity Refutation for Probabilistic Programs. CoRR abs/2404.03430 (2024) - [i183]Ali Asadi, Krishnendu Chatterjee, Raimundo Saona, Jakub Svoboda:
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights. CoRR abs/2405.02479 (2024) - [i182]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) - [i181]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) - [i180]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) - [i179]Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto:
Ergodic Unobservable MDPs: Decidability of Approximation. CoRR abs/2405.12583 (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]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, Andreas Pavlogiannis:
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth. ACM Trans. Program. Lang. Syst. 41(4): 23:1-23:46 (2019) - [c201]Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný, Dominik Velan:
Deciding Fast Termination for Probabilistic VASS with Nondeterminism. ATVA 2019: 462-478 - [c200]Guy Avni, Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Bettina Könighofer, Stefan Pranger:
Run-Time Optimization for Learned Controllers Through Quantitative Games. CAV (1) 2019: 630-649 - [c199]Krishnendu Chatterjee, Nir Piterman:
Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR 2019: 6:1-6:17 - [c198]Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil:
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CONCUR 2019: 7:1-7:16 - [c197]Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Long-Run Average Behavior of Vector Addition Systems with States. CONCUR 2019: 27:1-27:16 - [c196]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani:
Probabilistic Smart Contracts: Secure Randomness on the Blockchain. IEEE ICBC 2019: 403-412 - [c195]Krishnendu Chatterjee, Laurent Doyen:
Graph Planning with Expected Finite Horizon. LICS 2019: 1-13 - [c194]Laura Schmid, Krishnendu Chatterjee, Stefan Schmid:
The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game. OPODIS 2019: 21:1-21:16 - [c193]Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi:
Cost analysis of nondeterministic probabilistic programs. PLDI 2019: 204-220 - [c192]Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman:
Strategy Representation by Decision Trees with Linear Classifiers. QEST 2019: 109-128 - [c191]Krishnendu Chatterjee, Amir Kafshdar Goharshady, Arash Pourdamghani:
Hybrid mining: exploiting blockchain's computational power for distributed problem solving. SAC 2019: 374-381 - [c190]