Search Results for author:
Found 5 papers, 0 papers with code
Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning
We advance the state of the art in Boolean composition of learned tasks with three contributions: i) introduce two distinct notions of safety in this framework; ii) show how to enforce either safety semantics, prove correctness (under some assumptions), and analyze the trade-offs between the two safety notions; and iii) extend Boolean composition from discrete action spaces to continuous action spaces.
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.
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
This is achieved by decomposing an infeasible LTL formula into several reach-avoid sub-tasks with shorter horizons, which can be trained in a modular DRL architecture.
Distributed and Consistent Multi-Image Feature Matching via QuickMatch
The centralized QuickMatch algorithm is compared to other standard matching algorithms, while the Distributed QuickMatch algorithm is compared to the centralized algorithm in terms of preservation of match consistency.
