91 citations · 426 across the 30 of their papers we have counts for
6 papers · 1 filter
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
Serena S. Serbinowska, Taylor T. Johnson
Behavior Trees, which originated in video games as a method for controlling NPCs but have since gained traction within the robotics community, are a framework for describing the ex…
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach
Luan V. Nguyen, Wesam Haddad, Taylor T. Johnson
Satisfiability Modulo Theories (SMT) solvers have been successfully applied to solve many problems in formal verification such as bounded model checking (BMC) for many classes of s…
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
Neelanjana Pal, Taylor T Johnson
This work in progress paper introduces robustness verification for autoencoder-based regression neural network (NN) models, following state-of-the-art approaches for robustness ver…
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton +1
Continuous deep learning models, referred to as Neural Ordinary Differential Equations (Neural ODEs), have received considerable attention over the last several years. Despite thei…
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Nathaniel Hamilton, Kyle Dunlap, Taylor T Johnson +1
Reinforcement Learning (RL) has become an increasingly important research area as the success of machine learning algorithms and methods grows. To combat the safety concerns surrou…
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez +2
Recent advances in machine learning technologies and sensing have paved the way for the belief that safe, accessible, and convenient autonomous vehicles may be realized in the near…