balasub / ai-seminar
☆9Updated 4 years ago
Alternatives and similar repositories for ai-seminar:
Users that are interested in ai-seminar are comparing it to the libraries listed below
- Model-based Demonstrator for Smart and Safe Systems☆16Updated 5 years ago
- Automated Controller Synthesis☆15Updated 6 years ago
- ☆18Updated 5 years ago
- High-level, platform-agnostic Python API for controlling Blue☆12Updated 4 years ago
- The Verifiably Safe Reinforcement Learning Framework☆56Updated 3 years ago
- FlexGP: Flexible ML with Genetic Programming☆18Updated 9 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆48Updated 10 months ago
- Semantic Application Design Language (SADL) Open Source Code☆30Updated 5 months ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- a little library to help me with things involving Koopman operators☆11Updated 2 years ago
- Badger code samples☆28Updated 4 years ago
- A simple OpenAI Gym environment for Neural Architecture Search (NAS)☆29Updated 4 years ago
- Moise is an organisational platform for Multi-Agent Systems☆14Updated 2 weeks ago
- The interface between Model Checking and Reinforcement Learning.☆14Updated 4 months ago
- The Mayan Adventure is an open-source reinforcement learning environment for Unity ML-Agents. In this environment, you train your agent …☆36Updated 3 years ago
- Translating HTN planning problems to PDDL☆18Updated 3 years ago
- The Machine Learning Toybox for testing the behavior of autonomous agents.☆27Updated 2 years ago
- Zenoh Flow examples☆16Updated last year
- Complementary material to EAAAI18 Paper "Mighty Thymio for Higher-Level Robotics Education"☆18Updated last year
- 🎆 Search for similar 3D designs☆20Updated 6 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated 3 weeks ago
- Python-based object-oriented discrete-event simulation tool for complex, data-driven modeling☆32Updated 4 years ago
- A gymnasium style environment for standardized Reinforcement Learning research in Air Traffic Management. Built on the BlueSky Air Traffi…☆12Updated last week
- ☆13Updated 3 years ago
- A Tool for Multi-Paradigm Modeling☆24Updated 4 months ago
- Specify and synthesize systems using symbolic algorithms☆47Updated 3 months ago
- DARPA CASE program☆13Updated 2 years ago
- Faithful Python implementation of the paper "Towards Deep Symbolic Reinforcement Learning" by Garnelo et al.☆13Updated 3 years ago
- Run evolution strategies on Google Kubernetes Engine☆31Updated last year
- ☆11Updated 6 years ago