171 citations · 1.1k across the 134 of their papers we have counts for
189 papers
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Đorđe Žikelić, Mathias Lechner, Abhinav Verma +2
Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of s…
Entropic Risk for Turn-Based Stochastic Games
Christel Baier, Krishnendu Chatterjee, Tobias Meggendorfer +1
Entropic risk (ERisk) is an established risk measure in finance, quantifying risk by an exponential re-weighting of rewards. We study ERisk for the first time in the context of tur…
Game Dynamics and Equilibrium Computation in the Population Protocol Model
Dan Alistarh, Krishnendu Chatterjee, Mehrdad Karrabi +1
We initiate the study of game dynamics in the population protocol model: agents each maintain a current local strategy and interact in pairs uniformly at random. Upon each inte…
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer +1
Markov decision processes can be viewed as transformers of probability distributions. While this view is useful from a practical standpoint to reason about trajectories of distribu…
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun, Hongfei Fu, Krishnendu Chatterjee +1
Probabilistic recurrence relations (PRRs) are a standard formalism for describing the runtime of a randomized algorithm. Given a PRR and a time limit , we consider the classical…
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee +2
We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by runn…