E-LIB Suche - Ergebnisse für: Krishnendu Chatterjee (IST Austria)

1

Improved Algorithms for Parity and Streett objectives:

Krishnendu Chatterjee (IST Austria) ; Monika Henzinger (Faculty of Computer Science, University of Vienna) ; Veronika Loitzenbauer (Bar-Ilan University)
isPartOf:https://phaidra.univie.ac.at/o:243553[u:scholar collection]. , 2017

Link: https://doi.org/10.23638..

2

Game Dynamics and Equilibrium Computation in the Population..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,

Alistarh, Dan ; Chatterjee, Krishnendu ; Karrabi, Mehrdad. - p. 40-49 , 2024

Link: https://dl.acm.org/doi/1..

3

Deterministic Sub-exponential Algorithm for Discounted-sum ..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Asadi, Ali ; Chatterjee, Krishnendu ; Svoboda, Jakub. - p. 1-12 , 2024

Link: https://dl.acm.org/doi/1..

4

Entropic risk for turn-based stochastic games:

Baier, Christel ; Chatterjee, Krishnendu ; Meggendorfer, Tobias.
Information and Computation. , 2024

Link: https://doi.org/10.1016/..

5

Congestion-Free Rerouting of Network Flows: Hardness and an..:

, In: NOMS 2024-2024 IEEE Network Operations and Management Symposium,

Ceylan, Esra ; Chatterjee, Krishnendu ; Schmid, Stefan. - p. 1-7 , 2024

Link: https://doi.org/10.1109/..

6

Efficiency and resilience of cooperation in asymmetric soci..:

Hübner, Valentin ; Staab, Manuel ; Hilbe, Christian..
Proceedings of the National Academy of Sciences. 121 (2024) 10 - p. , 2024

Link: https://doi.org/10.1073/..

7

Fully Automated Selfish Mining Analysis in Efficient Proof ..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,

Chatterjee, Krishnendu ; Ebrahimzadeh, Amirali ; Karrabi, Mehrdad... - p. 268-278 , 2024

Link: https://dl.acm.org/doi/1..

8

Quantitative Bounds on Resource Usage of Probabilistic Prog..:

Chatterjee, Krishnendu ; Goharshady, Amir Kafshdar ; Meggendorfer, Tobias.
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 362-391 , 2024

Link: https://doi.org/10.1145/..

9

A Learner-Verifier Framework for Neural Network Controllers..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Lechner, Mathias. - p. 3-25 , 2023

Link: https://doi.org/10.1007/..

10

The effect of environmental information on evolution of coo..:

Kleshnina, Maria ; Hilbe, Christian ; Šimsa, Štěpán..
Nature Communications. 14 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

11

MDPs as Distribution Transformers: Affine Invariant Synthes..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Akshay, S. ; Chatterjee, Krishnendu ; Meggendorfer, Tobias. - p. 86-112 , 2023

Link: https://doi.org/10.1007/..

12

Stochastic games with lexicographic objectives:

Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Mohr, Stefanie..
Formal Methods in System Design. , 2023

Link: https://doi.org/10.1007/..

13

R2: Boosting Liquidity in Payment Channel Networks with Onl..:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,

Bastankhah, Mahsa ; Chatterjee, Krishnendu ; Maddah-Ali, Mohammad Ali... - p. 309-325 , 2023

Link: https://doi.org/10.1007/..

14

Learning Provably Stabilizing Neural Controllers for Discre..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Ansaripour, Matin ; Chatterjee, Krishnendu ; Henzinger, Thomas A... - p. 357-379 , 2023

Link: https://doi.org/10.1007/..

15

Evolutionary dynamics of mutants that modify population str..:

Tkadlec, Josef ; Kaveh, Kamran ; Chatterjee, Krishnendu.
Journal of The Royal Society Interface. 20 (2023) 208 - p. , 2023

Link: https://doi.org/10.1098/..