
Title |
|---|
Turn-based Multi-Agent Reinforcement Learning Model CheckingInternational Conference on Agents and Artificial Intelligence (ICAART), 2025 |
![]() Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via
Model CheckingInternational Conference on Agents and Artificial Intelligence (ICAART), 2022 |
![]() Shielding in Resource-Constrained Goal POMDPsAAAI Conference on Artificial Intelligence (AAAI), 2022 |
![]() Runtime Monitoring for Markov Decision ProcessesInternational Conference on Computer Aided Verification (CAV), 2021 |
![]() Reinforcement Learning of Risk-Constrained Policies in Markov Decision
ProcessesAAAI Conference on Artificial Intelligence (AAAI), 2020 |
![]() Learning-Based Mean-Payoff Optimization in an Unknown MDP under
Omega-Regular ConstraintsInternational Conference on Concurrency Theory (CONCUR), 2018 |