Stars
BehaVerify: A Formal Verification Tool for Behavior Trees
A PyTorch Geometric implementation of Learning to Simulate Complex Physics with Graph Networks (Sanchez-Gonzalez et al., 2020). Trains a GNN to predict particle accelerations from local interaction…
A Python implementation of the Neural Network Verification (NNV) tool.
This is the code that relates to the NAHS paper "data-driven abstraction-based control synthesis" written by Kazemi, Majumdar, Salamati, Soudjani, and Wooding
Browser extension that enhances Google Scholar with citation-based sorting and venue ranking badges (CORE, SJR, JCR, ERA, QUALIS, h5-index) for conferences and journals
[NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems
Workshop on designing efficient and scalable physics-informed neural networks with JAX
Tools and scripts for reproducing results for FMCAD 2024 paper on Neural Lyapunov Barrier Certificates
Code from the paper "Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning", published at the 61st ACM/IEEE Design Automation Conference.
TRUST: StabiliTy and Safety ContRoller Synthesis for Black-Box Systems Using a Single Trajectory
Introductory workshop on PINNs using the harmonic oscillator
PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle d…
IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthe…