Showing 1–20 of 100 results
/ Date/ Name
Mar 8, 2018Verifying nonlinear analog and mixed-signal circuits with inputsApr 21, 2017Road to safe autonomy with data and formal reasoningFeb 22, 2017DRYVR:Data-driven verification and compositional reasoning for automotive systemsNov 6, 2020Reactive motion planning with probabilistic safety guaranteesApr 1, 2020Statistical Verification of Autonomous Systems using Surrogate Models and Conformal InferenceJun 24, 2021Density Constrained Reinforcement LearningSep 14, 2021Reactive and Safe Road User Simulations using Neural Barrier CertificatesSep 14, 2021Learning Density Distribution of Reachable States for Autonomous SystemsJan 13, 2022Multi-agent Motion Planning from Signal Temporal Logic SpecificationsNov 1, 2019Multi-Agent Safety Verification using Symmetry TransformationsNov 25, 2020Learning Certified Control using Contraction MetricSep 25, 2022Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance FieldsSep 25, 2022Barrier functions enable safety-conscious force-feedback controlSep 17, 2024Rigid Body Path Planning using Mixed-Integer Linear ProgrammingApr 18, 2024Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification ToolsJan 25, 2024GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent ControlMar 7, 2023ConBaT: Control Barrier Transformer for Safe Policy LearningFeb 4, 2025CodeSteer: Symbolic-Augmented Language Models via Code/Text GuidanceMay 28, 2024Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and UnrollingJun 26, 2025Joint Scheduling of DER under Demand Charges: Structure and Approximation