Alert button
Picture for Krishnendu Chatterjee

Krishnendu Chatterjee

Alert button

Institute of Science and Technology Austria

Learning Algorithms for Verification of Markov Decision Processes

Mar 20, 2024
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Křetínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma

Viaarxiv icon

Solving Long-run Average Reward Robust MDPs via Stochastic Games

Dec 21, 2023
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Mehrdad Karrabi, Petr Novotný, Đorđe Žikelić

Viaarxiv icon

Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees

Dec 03, 2023
Đorđe Žikelić, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas A. Henzinger

Viaarxiv icon

Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks

Nov 29, 2022
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

Figure 1 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 2 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 3 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Figure 4 for Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Viaarxiv icon

Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees

Oct 11, 2022
Đorđe Žikelić, Mathias Lechner, Thomas A. Henzinger, Krishnendu Chatterjee

Figure 1 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 2 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 3 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Figure 4 for Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Viaarxiv icon

Learning Control Policies for Region Stabilization in Stochastic Systems

Oct 11, 2022
Matin Ansaripour, Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 2 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 3 for Learning Control Policies for Region Stabilization in Stochastic Systems
Figure 4 for Learning Control Policies for Region Stabilization in Stochastic Systems
Viaarxiv icon

Learning Stabilizing Policies in Stochastic Control Systems

May 24, 2022
Đorđe Žikelić, Mathias Lechner, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Learning Stabilizing Policies in Stochastic Control Systems
Figure 2 for Learning Stabilizing Policies in Stochastic Control Systems
Viaarxiv icon

Stability Verification in Stochastic Control Systems via Neural Network Supermartingales

Dec 17, 2021
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Figure 2 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Figure 3 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Figure 4 for Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Viaarxiv icon

Infinite Time Horizon Safety of Bayesian Neural Networks

Nov 04, 2021
Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger

Figure 1 for Infinite Time Horizon Safety of Bayesian Neural Networks
Figure 2 for Infinite Time Horizon Safety of Bayesian Neural Networks
Figure 3 for Infinite Time Horizon Safety of Bayesian Neural Networks
Figure 4 for Infinite Time Horizon Safety of Bayesian Neural Networks
Viaarxiv icon