2 citations · 3 across the 23 of their papers we have counts for
8 papers · 1 filter
Temporal Specification Guidance for Text-to-Video Generation
Avishree Khare, Hideki Okamoto, Bardh Hoxha +2
Text-to-video models often generate the visual concepts requested in natural language prompts but fail to satisfy their intended ordering, timing, and persistence requirements. We…
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-…
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…
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
Bardh Hoxha, Oliver Schön, Hideki Okamoto +2
We study certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. The monitor must infer safety-relevant quanti…
Spatio-Temporal Grounding of Large Language Models from Perception Streams
Jacob Anderson, Bardh Hoxha, Georgios Fainekos +2
Embodied-AI agents must reason about how objects move and interact in 3-D space over time, yet existing smaller frontier Large Language Models (LLMs) still mis-handle fine-grained…