27 citations · 96 across the 44 of their papers we have counts for
47 papers
Safety-aware Model Predictive Path Integral Control with Signal Temporal Logic
Yiqi Zhao, Taekyung Kim, Hideki Okamoto +4
Safety-aware motion planning remains a challenge in robotics, especially when missions are time-critical and are under complex specifications. In this paper, we propose safety-awar…
Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems
Tanmay Khandait, Preetom Biswas, Hideki Okamoto +3
Discovering rare safety-critical failures in autonomous and cyber-physical systems is a fundamental challenge in verification and validation. Existing falsification approaches rely…
FalconTrack: Photorealistic Auto-Labeled Perception and Physics-Aware Vision-Based Aerial Tracking
Yan Miao, Karteek Gandiboyina, Noah Giles +4
Vision-based aerial tracking is critical in GPS-denied environments. Reliable perception for tracking depends on large-scale labeled data, yet most photorealistic datasets rely on…
Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees
Ryohei Oura, Georgios Fainekos, Hideki Okamoto +1
Probabilistic model checking for Markov decision processes (MDPs) provides quantitative guarantees, but often offers limited insight into why undesired outcomes occur. Probability-…
Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
Xinyi Wang, Taekyung Kim, Bardh Hoxha +2
Planning through crowded environments under uncertain obstacle motions remains difficult, as stochastic interactions often induce overly conservative behavior or reduced efficiency…
Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
Taekyung Kim, Hideki Okamoto, Bardh Hoxha +2
Safety-critical autonomy in unstructured environments poses significant challenges for online safety certification under evolving constraints. We propose Policy Library Control Bar…