 On Generating Explanations for Reinforcement Learning Policies: An Empirical StudyIEEE Control Systems Letters (L-CSS), 2023 |
 Omega-Regular Reward MachinesEuropean Conference on Artificial Intelligence (ECAI), 2023 |
 Secure-by-Construction Synthesis of Cyber-Physical SystemsAnnual Reviews in Control (ARC), 2022 |
 Model-Free Learning of Safe yet Effective ControllersIEEE Conference on Decision and Control (CDC), 2021 |
 Modular Deep Reinforcement Learning for Continuous Motion Planning with
Temporal LogicIEEE Robotics and Automation Letters (RA-L), 2021 |
 Learning Optimal Strategies for Temporal Tasks in Stochastic GamesIEEE Transactions on Automatic Control (IEEE TAC), 2021 |
 Multi-Agent Reinforcement Learning with Temporal Logic SpecificationsAdaptive Agents and Multi-Agent Systems (AAMAS), 2021 |
