{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"behaverify","owner":"verivital","isFork":false,"description":"behavior tree verification","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T05:18:21.220Z"}},{"type":"Public","name":"ARCH-COMP2024","owner":"verivital","isFork":false,"description":"ARCH AINNCS Friendly Competition - Benchmark Description","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T21:47:44.987Z"}},{"type":"Public","name":"nnv","owner":"verivital","isFork":false,"description":"Neural Network Verification Software Tool","allTopics":["neural-network","verification","reachability","formal-methods","hybrid-systems","formal-verification","cyber-physical","autonomy","cyber-physical-systems","reachability-analysis","robustness-verification","trustworthy-machine-learning","neural-network-verification","trustworthy-ai","safe-ai","safe-autonomy","neural-network-certification","assured-autonomy"],"primaryLanguage":null,"pullRequestCount":2,"issueCount":10,"starsCount":101,"forksCount":48,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T20:22:56.818Z"}},{"type":"Public","name":"vnncomp2024","owner":"verivital","isFork":false,"description":"Verification of Neural Networks Competition Main Repository (VNN-COMP'24)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T17:01:39.686Z"}},{"type":"Public","name":"CORA","owner":"verivital","isFork":true,"description":"Toolbox for Reachability Analysis","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":29,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-20T21:17:04.980Z"}},{"type":"Public","name":"hautlearn","owner":"verivital","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-11T20:46:43.139Z"}},{"type":"Public","name":"nnenum","owner":"verivital","isFork":true,"description":"Neural Network Enumeration Tool","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":15,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-17T18:06:52.331Z"}},{"type":"Public","name":"onnx2nnv","owner":"verivital","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-03T13:39:03.242Z"}},{"type":"Public","name":"vnn-comp","owner":"verivital","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":5,"starsCount":12,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-25T01:02:41.427Z"}},{"type":"Public","name":"nnvmt","owner":"verivital","isFork":false,"description":"NNVMT: A Translation Tool for Feedforward Neural Network Models","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":0,"starsCount":7,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-24T23:38:39.771Z"}},{"type":"Public","name":"ARCH-COMP2023","owner":"verivital","isFork":false,"description":"ARCH AINNCS Friendly Competition - Benchmark Description","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-08T19:15:09.616Z"}},{"type":"Public","name":"nnv-1","owner":"verivital","isFork":true,"description":"Neural Network Verification Software Tool","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":48,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-17T03:44:03.192Z"}},{"type":"Public","name":"ARCH-COMP2022","owner":"verivital","isFork":false,"description":"Friendly ARCH AINNCS Competition - Benchmark Description","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-30T17:09:17.210Z"}},{"type":"Public","name":"veritex","owner":"verivital","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-15T15:07:40.931Z"}},{"type":"Public","name":"stl-gym","owner":"verivital","isFork":true,"description":"A tool for modifying reinforcement learning environments to incorporate Signal Temporal Logic (STL) specifications in the reward function.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-21T18:41:14.710Z"}},{"type":"Public","name":"MLVS","owner":"verivital","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-06T17:41:04.987Z"}},{"type":"Public","name":"acasxu_closed_loop_sim","owner":"verivital","isFork":true,"description":"Closed-loop simulation code using ACAS Xu neural networks for collision avoidance","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-29T18:56:25.308Z"}},{"type":"Public","name":"ARCH-COMP2021","owner":"verivital","isFork":false,"description":"Friendly ARCH AINNCS Competition - Benchmark Description","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-13T19:21:59.337Z"}},{"type":"Public","name":"ARCH-COMP2020","owner":"verivital","isFork":false,"description":"ARCH Competition AINNCS 2020 - Benchmarks description","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-29T13:20:34.419Z"}},{"type":"Public","name":"ARCH-2019","owner":"verivital","isFork":false,"description":"Contains all the benchmarks presented at ARCH 2019","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-25T15:53:26.760Z"}},{"type":"Public","name":"DJITelloPy","owner":"verivital","isFork":true,"description":"DJI Tello drone python interface using the official Tello SDK. Feel free to contribute! ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":478,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-18T09:44:10.295Z"}},{"type":"Public","name":"SemanticSegmentation","owner":"verivital","isFork":false,"description":"Semantic Segmentation with MATLAB ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-28T21:24:37.109Z"}},{"type":"Public","name":"AcasXu","owner":"verivital","isFork":true,"description":"Verification and simulation of AcasXu closed-loop system","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-24T17:27:49.097Z"}},{"type":"Public","name":"hyst","owner":"verivital","isFork":false,"description":"HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":14,"starsCount":15,"forksCount":18,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-03T14:34:31.619Z"}},{"type":"Public","name":"TelloPy","owner":"verivital","isFork":true,"description":"DJI Tello drone controller python package","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":293,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-23T17:18:47.170Z"}},{"type":"Public","name":"cell_flows","owner":"verivital","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-13T18:05:58.737Z"}},{"type":"Public","name":"passel","owner":"verivital","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-13T17:16:25.205Z"}},{"type":"Public","name":"rtreach","owner":"verivital","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-13T17:16:04.256Z"}},{"type":"Public","name":"hynger","owner":"verivital","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"MATLAB","color":"#e16737"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-13T17:15:51.540Z"}},{"type":"Public","name":"m2nist","owner":"verivital","isFork":false,"description":"Semantic Segmentation experiments with M2NIST","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-11T20:45:30.532Z"}}],"repositoryCount":74,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}