2 citations · 5 across the 17 of their papers we have counts for
9 papers · 1 filter
Deterministic World Models for Closed-loop Reachability Analysis of End-to-End Vision-based Control
Yuang Geng, Zhongzheng Zhang, Chengzhen Jiang +5
End-to-end image controllers that map raw camera frames directly to control actions are increasingly deployed in safety-critical systems. However, formally verifying their closed-l…
Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction
Yuang Geng, Thomas Waite, Trevor Turnquist +2
Reachability analysis has been a prominent way to provide safety guarantees for neurally controlled autonomous systems, but its direct application to neural perception components i…
Online Slip Detection and Friction Coefficient Estimation for Autonomous Racing
Christopher Oeltjen, Carson Sobolewski, Saleh Faghfoorian +4
Accurate knowledge of the tire-road friction coefficient (TRFC) is essential for vehicle safety, stability, and performance, especially in autonomous racing, where vehicles often o…
Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy
Jordan Peper, Yan Miao, Sayan Mitra +1
Precise and comprehensive situational awareness is a critical capability of modern autonomous systems. Deep neural networks that perceive task-critical details from rich sensory si…
How Safe Will I Be Given What I Saw? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy
Zhenjiang Mao, Mrinall Eashaan Umasudhan, Ivan Ruchkin
Autonomous robots that rely on deep neural network controllers pose critical challenges for safety prediction, especially under partial observability and distribution shift. Tradit…
Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
Zhenjiang Mao, Artem Bisliouk, Rohith Reddy Nama +1
Large Language Models (LLMs) have shown impressive performance in mathematical reasoning tasks when guided by Chain-of-Thought (CoT) prompting. However, they tend to produce highly…
Generalizable Image Repair for Robust Visual Control
Carson Sobolewski, Zhenjiang Mao, Kshitij Maruti Vejre +1
Vision-based control relies on accurate perception to achieve robustness. However, image distribution changes caused by sensor noise, adverse weather, and dynamic lighting can degr…
Four Principles for Physically Interpretable World Models
Jordan Peper, Zhenjiang Mao, Yuang Geng +2
As autonomous systems are increasingly deployed in open and uncertain settings, there is a growing need for trustworthy world models that can reliably predict future high-dimension…
State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems
Thomas Waite, Yuang Geng, Trevor Turnquist +2
It remains a challenge to provide safety guarantees for autonomous systems with neural perception and control. A typical approach obtains symbolic bounds on perception error (e.g.,…