Picture for Kevin Leahy

Kevin Leahy

Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Games with Delayed Rewards

Add code
Nov 26, 2024
Viaarxiv icon

Grand Challenges in the Verification of Autonomous Systems

Add code
Nov 21, 2024
Viaarxiv icon

Temporal Logic Planning via Zero-Shot Policy Composition

Add code
Aug 08, 2024
Viaarxiv icon

Tell Me What You Want : Addressing the Expectation Gap for Goal Conveyance from Humans to Robots

Add code
Mar 21, 2024
Viaarxiv icon

Graph Q-Learning for Combinatorial Optimization

Add code
Jan 11, 2024
Viaarxiv icon

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo

Add code
Oct 12, 2023
Viaarxiv icon

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning

Add code
Jun 29, 2023
Viaarxiv icon

STL: Surprisingly Tricky Logic (for System Validation)

Add code
May 26, 2023
Viaarxiv icon

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications

Add code
Nov 30, 2022
Viaarxiv icon

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications

Add code
Oct 06, 2022
Figure 1 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Figure 2 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Figure 3 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Figure 4 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Viaarxiv icon