Publications

2023

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications

Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks

Conformal Temporal Logic Planning using Large Language Models: Knowing When to Do What and When to Ask for Help

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis

Targeted Adversarial Attacks against Neural Network Trajectory Predictors

Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives