Collaborations
We are open to have collaborations
Combining RL with MC
Status: open
The topic of this collaboration is to study how safe Reinforcement Learning (RL) algorithms can be combined with Model Checking (MC) techniques to get "correct-by-design" trained agents, with a particular focus on agents for autonomous driving.
Safety Verification of Reinforcement Learning Agent for Autonomous Driving
Status: open
Even though the reinforcement learning methods are widely used in the field of autonomous driving, few have been verified under given scenarios. Therefore, we intend to use model-checking to verify the safety property of a given RL model.
Implementation of Autonomous Driving Algorithms
Status: open
Currently, only some baseline algorithms are integrated into our platform. Thus, we welcome the implementation of state-of-the-art algorithms.
Deep Learning-Based Semantic Segmentation for Identification of Surgical Anatomy in Laparoscopic Gastric Imaging
Status: open
We aspire to furnish clinicians with tools that can augment their procedural efficacy