Search Results for author:
Found 8 papers, 0 papers with code
An Information-Theoretic Framework for Out-of-Distribution Generalization
We study the Out-of-Distribution (OOD) generalization in machine learning and propose a general framework that provides information-theoretic generalization bounds.
Interpretable Generative Adversarial Imitation Learning
Imitation learning methods have demonstrated considerable success in teaching autonomous systems complex tasks through expert demonstrations.
Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet
In this paper, we consider the problem of learning a neural network controller for a system required to satisfy a Signal Temporal Logic (STL) specification.
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications
In this paper, we propose a learning-based framework to simultaneously learn the communication and distributed control policies for a heterogeneous multi-agent system (MAS) under complex mission requirements from Capability Temporal Logic plus (CaTL+) specifications.
Robust Multi-Agent Coordination from CaTL+ Specifications
We consider the problem of controlling a heterogeneous multi-agent system required to satisfy temporal logic requirements.
Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping
We present a computational framework for synthesis of distributed control strategies for a heterogeneous team of robots in a partially observable environment.
Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
To capture the history dependency of STL specifications, we use a recurrent neural network (RNN) to implement the control policy.
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
We propose a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discrete-time system that is required to satisfy specifications given as Signal Temporal Logic (STL) formulae.
