Publications

2025

Plug-and-Play Physics-informed Learning using Uncertainty Quantified Port-Hamiltonian Models

Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration

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

Conformal Temporal Logic Planning using Large Language Models

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

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

Targeted Adversarial Attacks against Neural Network Trajectory Predictors

Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives