Area of research
Computational Theory and Mathematics · Computer Vision and Pattern Recognition
Research interest
Research interests include Formal Methods in Verification, Robotic Path Planning Algorithms, Logic, Reasoning, and Knowledge, and AI-based Problem Solving and Planning.
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Classification of Time-Series Data Using Boosted Decision Trees
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features
Reactive sampling-based path planning with temporal logic specifications
Language-Guided Sampling-based Planning using Temporal Relaxation
Learning to Plan with Logical Automata
Reinforcement learning with temporal logic rewards
Minimum-violation scLTL motion planning for mobility-on-demand
Dynamic routing of energy-aware vehicles with Temporal Logic Constraints
Control in belief space with Temporal Logic specifications
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints
Sampling-based temporal logic path planning