Publications
Publications by categories in reversed chronological order. generated by jekyll-scholar.
2025
- VMCAI1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and GeneralizationIn VMCAI (2) 2025
- TACASFixed Point Certificates for Reachability and Expected Rewards in MDPsIn TACAS (2) 2025
- TACASSound Statistical Model Checking for Probabilities and Expected RewardsIn TACAS (1) 2025
- AAAISolving Robust Markov Decision Processes: Generic, Reliable, EfficientIn AAAI 2025
- IJCAI
- ICLRSafety-Prioritizing Curricula for Constrained Reinforcement LearningIn International Conference on Learning Representations 2025
- AAMASTighter Value-Function Approximations for POMDPsIn International Conference on Autonomous and Multiagent Systems 2025
- ICLRRobust Transfer of Safety-Constrained Reinforcement Learning AgentsIn International Conference on Learning Representations 2025
2024
- CONCUR
- IJCAIImprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPsIn IJCAI 2024
2023
- Book