Showing 1–20 of 48 results
/ Date/ Name
Feb 28, 2024Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and AttacksMar 13, 2026Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic SystemsAug 29, 2023On the improved dynamics approach in loop quantum black holesOct 13, 2023Exact Verification of ReLU Neural Control Barrier FunctionsOct 27, 2024SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier FunctionsMar 2, 2017Poincaré Gauge Gravity CosmologyJun 11, 2019Inflation in the general Poincaré gauge cosmologySep 28, 2021Safety-Critical Control Synthesis for Unknown Sampled-Data Systems via Control Barrier FunctionsApr 6, 2019Late-time acceleration and inflation in a Poincaré gauge cosmological modelOct 26, 2024Who is Responsible? Explaining Safety Violations in Multi-Agent Cyber-Physical SystemsJun 26, 2025Stochastic Neural Control Barrier FunctionsJul 11, 2022Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier FunctionsAug 11, 2022Barrier Certificate based Safe Control for LiDAR-based Systems under Sensor Faults and AttacksMay 1, 2016Distinguish three time-dependent dark energy models using statefinder pairs with error bars and Bayesian evidenceFeb 14, 2023Cooperative Perception for Safe Control of Autonomous Vehicles under LiDAR Spoofing AttacksApr 22, 2023Cosmological Constant, Inflaton, and Dark Matter all Naturally Originated from Poincaré Gauge GravityDec 10, 2018Generalized Symmetric ADMM for Separable Convex OptimizationNov 27, 2019Testing the effect of $H_0$ on $fσ_8$ tension using a Gaussian Process methodSep 14, 2023SOT-MRAM-Enabled Probabilistic Binary Neural Networks for Noise-Tolerant and Fast TrainingJan 16, 2024A convex combination based primal-dual algorithm with linesearch for general convex-concave saddle point problems