research
∙
09/18/2023
Specification-Driven Video Search via Foundation Models and Formal Verification
The increasing abundance of video data enables users to search for event...
share
research
∙
06/23/2023
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
We study a class of reinforcement learning (RL) tasks where the objectiv...
research
∙
05/27/2023
Reinforcement Learning With Reward Machines in Stochastic Games
We investigate multi-agent reinforcement learning for stochastic games w...
research
∙
12/04/2022
Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models
Automata-based representations play an important role in control and pla...
research
∙
12/02/2022
Learning Temporal Logic Properties: an Overview of Two Recent Methods
Learning linear temporal logic (LTL) formulas from examples labeled as p...
research
∙
09/06/2022
Learning Interpretable Temporal Properties from Positive Examples Only
We consider the problem of explaining the temporal behavior of black-box...
research
∙
05/24/2021
Uncertainty-Aware Signal Temporal Logic Inference
Temporal logic inference is the process of extracting formal description...
research
∙
04/30/2021