
Distributed and Consistent MultiImage Feature Matching via QuickMatch
In this work we consider the multiimage object matching problem, extend...
read it

Automata Guided Hierarchical Reinforcement Learning for Zeroshot Skill Composition
An obstacle that prevents the wide adoption of (deep) reinforcement lear...
read it

A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks
Reward engineering is an important aspect of reinforcement learning. Whe...
read it

Reinforcement Learning With Temporal Logic Rewards
Reinforcement learning (RL) depends critically on the choice of reward f...
read it

A Hierarchical Reinforcement Learning Method for Persistent TimeSensitive Tasks
Reinforcement learning has been applied to many interesting problems suc...
read it

A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
We propose a technique to detect and generate patterns in a network of l...
read it

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation
We present a new temporal logic called Distribution Temporal Logic (DTL)...
read it

Automata Guided Reinforcement Learning With Demonstrations
Tasks with complex temporal structures and long horizons pose a challeng...
read it

Metrics for Signal Temporal Logic Formulae
Signal Temporal Logic (STL) is a formal language for describing a broad ...
read it

Control Barrier Functions for Systems with High Relative Degree
This paper extends control barrier functions (CBFs) to high order contro...
read it

Reactive Control Meets Runtime Verification: A Case Study of Navigation
This paper presents an application of specification based runtime verifi...
read it

Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions
Using reinforcement learning to learn control policies is a challenge wh...
read it

ArithmeticGeometric Mean Robustness for Control from Signal Temporal Logic Specifications
We present a new averagebased robustness score for Signal Temporal Logi...
read it

Samplingbased Motion Planning via Control Barrier Functions
Robot motion planning is central to realworld autonomous applications, ...
read it

Averagebased Robustness for ContinuousTime Signal Temporal Logic
We propose a new robustness score for continuoustime Signal Temporal Lo...
read it

Adaptive Control Barrier Functions for SafetyCritical Systems
Recent work showed that stabilizing affine control systems to desired (s...
read it
Calin Belta
is this you? claim profile