research
∙
01/05/2023
gRoMA: a Tool for Measuring Deep Neural Networks Global Robustness
Deep neural networks (DNNs) are a state-of-the-art technology, capable o...
share
research
∙
06/20/2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming
Deep reinforcement learning (DRL) has achieved groundbreaking successes ...
research
∙
05/26/2022
Verifying Learning-Based Robotic Navigation Systems
Deep reinforcement learning (DRL) has become a dominant deep-learning pa...
research
∙
02/09/2022
