Picture for Zachary Serlin

Zachary Serlin

From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy

Add code
Mar 14, 2025
Viaarxiv icon

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

Add code
Nov 26, 2024
Figure 1 for Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Games with Delayed Rewards
Viaarxiv icon

RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions

Add code
Oct 15, 2024
Viaarxiv icon

Temporal Logic Planning via Zero-Shot Policy Composition

Add code
Aug 08, 2024
Viaarxiv icon

Evaluating Collaborative Autonomy in Opposed Environments using Maritime Capture-the-Flag Competitions

Add code
Apr 25, 2024
Viaarxiv icon

How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems

Add code
Oct 27, 2023
Viaarxiv icon

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning

Add code
Jun 29, 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

Distributed and Consistent Multi-Image Feature Matching via QuickMatch

Add code
Oct 29, 2019
Figure 1 for Distributed and Consistent Multi-Image Feature Matching via QuickMatch
Figure 2 for Distributed and Consistent Multi-Image Feature Matching via QuickMatch
Figure 3 for Distributed and Consistent Multi-Image Feature Matching via QuickMatch
Figure 4 for Distributed and Consistent Multi-Image Feature Matching via QuickMatch
Viaarxiv icon