research
∙
06/29/2023
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning
Compositionality is a critical aspect of scalable system design. Reinfor...
share
research
∙
05/26/2023
STL: Surprisingly Tricky Logic (for System Validation)
Much of the recent work developing formal methods techniques to specify ...
research
∙
10/03/2022
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
This paper explores continuous-time control synthesis for target-driven ...
research
∙
03/17/2022
Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models
Increasing the semantic understanding and contextual awareness of machin...
research
∙
02/07/2022
Differential Privacy for Symbolic Systems with Application to Markov Chains
Data-driven systems are gathering increasing amounts of data from users,...
research
∙
09/30/2020
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
In this work, we focus on decomposing large multi-agent path planning pr...
research
∙
09/23/2018
Towards Differential Privacy for Symbolic Systems
In this paper, we develop a privacy implementation for symbolic control ...
research
∙
07/12/2018
Differentially Private LQ Control
As multi-agent systems proliferate and share more and more user data, ne...
research
∙
01/24/2018