Showing 1–20 of 323 results
/ Date/ Name
Dec 20, 2022The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and ResultsOct 3, 2018Verification for Machine Learning, Autonomy, and Neural Networks SurveyJul 13, 2022Reachability Analysis of a General Class of Neural Ordinary Differential EquationsApr 8, 2014Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel InverterOct 9, 2019Dynamic Mode Decomposition for Continuous Time Systems with the Liouville OperatorAug 9, 2021Neural Network Repair with Reachability AnalysisFeb 20, 2016Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear SystemsOct 7, 2010Non-relativistic Gravity in Entropic Quantum DynamicsAug 10, 2022BehaVerify: Verifying Temporal Logic Specifications for Behavior TreesSep 25, 2019The Occupation Kernel Method for Nonlinear System IdentificationJun 22, 2021Reachability Analysis of Convolutional Neural NetworksFeb 10, 2018Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic SystemsMar 28, 1999Evidence for an angular dependent contribution from columnar defects to the equilibrium magnetization of YBa_2Cu_3O_{7-d}Sep 10, 2012Safe and Stabilizing Distributed Multi-Path Cellular FlowsMay 6, 2011Generalized Galilean Transformations and the Measurement Problem in the Entropic Dynamics Approach to Quantum TheoryJul 8, 2022Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning AgentsApr 15, 1998Flux-Line Lattice Structures in Untwinned YBa2Cu3OSep 15, 2025Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation NetworkMay 25, 2018Reachability Analysis and Safety Verification for Neural Network Control SystemsDec 28, 2023The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results