-
Stony Brook University
- http://stanleybak.com
- @StanleyBak
Highlights
- Pro
-
AeroBenchVVPython Public
Python Version of F-16 Maneuver Verification Benchmark
-
-
-
CS7320-AI Public
Forked from mhahsler/CS7320-AIExamples for an AI course following the textbook Artificial Intelligence: A Modern Approach by Russell and Norvig.
-
-
jax-f16 Public
Forked from MIT-REALM/jax-f16Jax version of F16 dynamics
Python GNU General Public License v3.0 UpdatedJun 8, 2023 -
simple_adversarial_generator Public
Simple adversarial input generator for VNN-COMP
-
ARCH2023_Benchmark_ACASXU Public
Forked from sanazsheikhi/ARCH2023_Benchmark_ACASXUThis repository includes source codes for closed-loop ACAS XU with F-16 and Dubins dynamics.
-
DrawApp Public
Forked from akashsuper2000/DrawAppA game where children can practice their writing skills by drawing letters and numbers using their cursor
Jupyter Notebook UpdatedApr 17, 2023 -
-
hylaa Public
Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
-
nnenum Public
Neural Network Enumeration Tool
-
-
-
dnnv Public
Forked from dlshriver/dnnvA Framework for Deep Neural Network Verification
Python MIT License UpdatedJul 19, 2022 -
alpha-beta-CROWN_vnncomp22 Public
Forked from huanzhang12/alpha-beta-CROWN_vnncomp22 -
Benchmark for VNNCOMP 2022 related to reachability probability density networks
Python UpdatedJun 21, 2022 -
-
quantized_nn_backreach Public
Quantized Verification of Neural Networks using Backreachability for ACAS Xu
-
acasxu_closed_loop_sim Public
Closed-loop simulation code using ACAS Xu neural networks for collision avoidance
-
-
-
f1tenth_gym Public
Forked from f1tenth/f1tenth_gymThis is the repository of the F1TENTH Gym environment.
-
-
vnncomp2021 Public
VNN Neural Network Verification Competition 2021
-
Open standard for machine learning interoperability
PureBasic MIT License UpdatedDec 13, 2020 -
AeroBenchVV Public
Forked from pheidlauf/AeroBenchVVSimulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark
-
-
-