Picture for Sudeep Kanav

Sudeep Kanav

Explaining Control Policies through Predicate Decision Diagrams

Add code
Mar 09, 2025
Viaarxiv icon

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes

Add code
Nov 20, 2024
Viaarxiv icon

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

Add code
Oct 23, 2024
Viaarxiv icon

Monitizer: Automating Design and Evaluation of Neural Network Monitors

Add code
May 16, 2024
Viaarxiv icon