research
∙
05/21/2023
On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition
New-age conversational agent systems perform both speech emotion recogni...
share
research
∙
11/30/2022
Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach
Signal Temporal Logic (STL) is a powerful framework for describing the c...
research
∙
11/25/2022
Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions
Aerial package transportation often requires complex spatial and tempora...
research
∙
09/25/2021
Verification of Switched Stochastic Systems via Barrier Certificates
The paper presents a methodology for temporal logic verification of cont...
research
∙
10/12/2020
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes
This paper focuses on the controller synthesis for unknown, nonlinear sy...
research
∙
02/12/2020
