research
∙
03/07/2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Signal Temporal Logic (STL) has become a popular tool for expressing for...
share
research
∙
11/08/2021
Trust-aware Control for Intelligent Transportation Systems
Many intelligent transportation systems are multi-agent systems, i.e., b...
research
∙
09/24/2021
Mining Shape Expressions with ShapeIt
We present ShapeIt, a tool for mining specifications of cyber-physical s...
research
∙
08/17/2021
PerceMon: Online Monitoring for Perception Systems
Perception algorithms in autonomous vehicles are vital for the vehicle t...
research
∙
10/30/2019
Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning
We consider the problem of using reinforcement learning to train adversa...
research
∙
10/03/2019
Using Logical Specifications of Objectives in Multi-Objective Reinforcement Learning
In the multi-objective reinforcement learning (MORL) paradigm, the relat...
research
∙
08/15/2019