{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"Kino-PAX","owner":"aria-systems-group","isFork":false,"description":"Kinodyanmic Parallel Accelerated eXpansion ","allTopics":[],"primaryLanguage":{"name":"Cuda","color":"#3A4E3A"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T16:28:51.174Z"}},{"type":"Public","name":"regret_synthesis_toolbox","owner":"aria-systems-group","isFork":false,"description":"Source code for Regret synthesis for two-player turn-based game played on graphs - ICRA 22","allTopics":["robotics","game-theory","formal-methods","regret-minimization","regret-games"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-07T21:10:15.012Z"}},{"type":"Public","name":"PDDLtoSim","owner":"aria-systems-group","isFork":false,"description":"Source code for abstraction construction from PDDL, strategy synthesis, and visualization using Pybullet","allTopics":["pddl","two-player-game","fond-planning"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-07T18:26:09.816Z"}},{"type":"Public","name":"website","owner":"aria-systems-group","isFork":false,"description":"Lab website 2.0","allTopics":[],"primaryLanguage":{"name":"SCSS","color":"#c6538c"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T13:44:42.194Z"}},{"type":"Public","name":"HSVI-RP","owner":"aria-systems-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-23T23:29:18.131Z"}},{"type":"Public","name":"MAPF-PC","owner":"aria-systems-group","isFork":true,"description":"Forked version of the original MAPF-PC repository to be used for Efficient LTL + MAPF Planning. ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-19T22:29:18.549Z"}},{"type":"Public","name":"sym_quant_reactive_synth","owner":"aria-systems-group","isFork":false,"description":"Symbolic Regret synthesis and graph search","allTopics":["bdd","pddl","two-player-game","symbolic-graphs"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":2,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T01:54:36.540Z"}},{"type":"Public","name":"Delay-Robust-MAPF","owner":"aria-systems-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-16T21:12:11.852Z"}},{"type":"Public","name":"K-CBS-Demos","owner":"aria-systems-group","isFork":false,"description":"Demonstrations of our Kinodynamic Conflict-Based Search algorithm that are too involved to be included in OMPL.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":4,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-07T20:38:22.006Z"}},{"type":"Public","name":"Multi-Robot-OMPL","owner":"aria-systems-group","isFork":true,"description":"Our implementation of Kinodynamic Conflict Based Search (K-CBS) inside the The Open Motion Planning Library (OMPL)","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":11,"forksCount":584,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-05T23:01:01.564Z"}},{"type":"Public","name":"Congestion-MAPF","owner":"aria-systems-group","isFork":true,"description":"Congestion MAPF is a new project of ours where instead of minimizing common cost metrics such as SOC, or makespan, we want to minimize the \"congestion\" of the plan. ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":31,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-24T20:49:07.179Z"}},{"type":"Public","name":"Chance-Constrained-K-CBS","owner":"aria-systems-group","isFork":false,"description":"Kinodynamic-CBS (K-CBS) is a decentralized motion planning algorithm capable of solving complex multi-agent motion planning queries for agent with complex, possibly unique, kinodynamic constraints.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":13,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-28T22:24:18.368Z"}},{"type":"Public","name":"wombats","owner":"aria-systems-group","isFork":true,"description":"The wombats grammatical inference library.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-30T23:23:09.365Z"}},{"type":"Public","name":"StochasticBarrier.jl","owner":"aria-systems-group","isFork":false,"description":"Constructing a piecewise barrier","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-14T11:22:19.598Z"}},{"type":"Public","name":"Formal-Deep-Kernel-Synthesis","owner":"aria-systems-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-11T20:02:17.557Z"}},{"type":"Public","name":"Explanation-Guided-CBS","owner":"aria-systems-group","isFork":false,"description":"Our implementation of Explanation-Guided CBS (XG-CBS) inside C++. ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-26T18:03:10.660Z"}},{"type":"Public","name":"LearningAbstractions.jl","owner":"aria-systems-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":14,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-10T17:52:46.952Z"}},{"type":"Public","name":"NeuralNetControlBarrier","owner":"aria-systems-group","isFork":false,"description":"We introduce a method of safety certification and control for Neural Network Dynamic Models (NNDMs) via stochastic barrier functions.","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-03T20:16:09.209Z"}},{"type":"Public","name":"prism-docker","owner":"aria-systems-group","isFork":false,"description":"Dockerfile for prism","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-24T16:58:07.645Z"}},{"type":"Public","name":"StoRI","owner":"aria-systems-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-27T12:54:47.685Z"}},{"type":"Public","name":"PosteriorBounds.jl","owner":"aria-systems-group","isFork":false,"description":"Quickly compute bounds for posterior mean and covariance functions","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-18T21:53:06.434Z"}},{"type":"Public","name":"OnlineHybridControl.jl","owner":"aria-systems-group","isFork":false,"description":"Framework for online control of a system with continuous and discrete states","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-29T17:27:48.808Z"}},{"type":"Public","name":"Fault-Identification-via-Bayesian-Inference","owner":"aria-systems-group","isFork":false,"description":"Our implementation of a M-ary Bayesian Hypothesis Testing framework for online autonomous system validation in the presence of process and sensor noise. ","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"ISC License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-21T16:36:05.554Z"}},{"type":"Public","name":"dfasat","owner":"aria-systems-group","isFork":true,"description":"*Fork* flexfringe is a tool for learning finite state machines, also known as deterministic finite automata. It brings common merge heuristics such as alergia, EDSM, likelihood-ratio, and others, but also offers a flexible interface to easily add custom merge heuristics. It is based on Sicco Verwer's implementation of a state-merger in C++ calle…","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-22T20:15:45.448Z"}},{"type":"Public","name":"wombats_experiments","owner":"aria-systems-group","isFork":true,"description":"Experiments with the flexfringe and wombats grammatical inference frameworks","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-20T16:08:46.199Z"}},{"type":"Public","name":"CautiousEngine.jl","owner":"aria-systems-group","isFork":false,"description":"Julia package supporting my research endeavors in verification and synthesis.","allTopics":[],"primaryLanguage":{"name":"Julia","color":"#a270ba"},"pullRequestCount":0,"issueCount":6,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-03T16:54:10.781Z"}},{"type":"Public archive","name":"ARIA-Website","owner":"aria-systems-group","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-20T00:47:16.028Z"}},{"type":"Public","name":"CROWN-Robustness-Certification","owner":"aria-systems-group","isFork":true,"description":"CROWN: A Neural Network Verification Framework for Networks with General Activation Functions","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":11,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-04T23:10:45.303Z"}},{"type":"Public","name":"ROS_Gazebo_webclient","owner":"aria-systems-group","isFork":false,"description":"ROS Noetic with Gazebo 11 web client","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-16T19:21:15.816Z"}},{"type":"Public","name":"bmdp-tool","owner":"aria-systems-group","isFork":false,"description":"Professor Lahijanian's C/MATLAB BMDP Tool","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-27T16:58:59.156Z"}}],"repositoryCount":31,"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":"aria-systems-group repositories"}