 Improving Deep Policy Gradients with Value Function SearchInternational Conference on Learning Representations (ICLR), 2023 |
 Safe Deep Reinforcement Learning by Verifying Task-Level PropertiesAdaptive Agents and Multi-Agent Systems (AAMAS), 2023 |
 Online Safety Property Collection and Refinement for Safe Deep
Reinforcement Learning in Mapless NavigationIEEE International Conference on Robotics and Automation (ICRA), 2023 |
 The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural
NetworksInternational Joint Conference on Artificial Intelligence (IJCAI), 2023 |
 Verifying Learning-Based Robotic Navigation SystemsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 |
 Reinforcement Learning for Robot Navigation with Adaptive Forward
Simulation Time (AFST) in a Semi-Markov ModelIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2021 |
