research
∙
03/12/2023
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics
Guaranteeing safety in human-centric applications is critical in robot l...
share
research
∙
03/08/2023
Safe Robot Learning in Assistive Devices through Neural Network Repair
Assistive robotic devices are a particularly promising field of applicat...
research
∙
10/20/2021
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees
Requirements driven search-based testing (also known as falsification) h...
research
∙
09/09/2020
Impact of News on the Commodity Market: Dataset and Results
Over the last few years, machine learning based methods have been applie...
research
∙
07/21/2020