 Learning Explainable and Better Performing Representations of POMDP
StrategiesInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2024 |
 Reinforcement Learning under Partial Observability Guided by Learned
Environment ModelsInternational Conference on Integrated Formal Methods (IFM), 2022 |
 |
 Under-Approximating Expected Total Rewards in POMDPsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 Runtime Monitoring for Markov Decision ProcessesInternational Conference on Computer Aided Verification (CAV), 2021 |
