Alternatives and similar repositories for ai-seminar:

Users that are interested in ai-seminar are comparing it to the libraries listed below

• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• AToMPM / atompm
  A Tool for Multi-Paradigm Modeling
  ☆24Updated 7 months ago
• ftsrg / BME-MODES3
  Model-based Demonstrator for Smart and Safe Systems
  ☆16Updated 5 years ago
• gabrieledcjr / DeepRL
  ☆18Updated 6 years ago
• ronwalf / HTN-Translation
  Translating HTN planning problems to PDDL
  ☆20Updated 3 years ago
• simoninithomas / the_mayan_adventure
  The Mayan Adventure is an open-source reinforcement learning environment for Unity ML-Agents. In this environment, you train your agent …
  ☆36Updated 4 years ago
• KarrLab / de_sim
  Python-based object-oriented discrete-event simulation tool for complex, data-driven modeling
  ☆32Updated 4 years ago
• TrustAI / DeepGame
  A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
  ☆20Updated 4 years ago
• webgme / webgme-dss
  DSML Specific WebGME GUI with support for designing and simulating Modelica systems
  ☆14Updated 2 years ago
• danakianfar / multi_agent_systems
  Multi-Agent Systems Course 2017 - MSc Artificial Intelligence @ UvA
  ☆18Updated 7 years ago
• berkeleyopenarms / blue_interface
  High-level, platform-agnostic Python API for controlling Blue
  ☆12Updated 4 years ago
• Verisig / verisig
  ☆27Updated 6 months ago
• nasa / CertWare
  ☆50Updated 8 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• Farama-Foundation / Procgen-Staging
  Procgen2: A community maintained fork of procgen
  ☆11Updated 2 years ago
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆39Updated 8 months ago
• IBM / vsrl-framework
  The Verifiably Safe Reinforcement Learning Framework
  ☆56Updated 3 years ago
• amansinha / trustworthysearch-demo
  Demo of the TrustworthySearch API
  ☆19Updated 3 years ago
• loonwerks / CASE
  DARPA CASE program
  ☆13Updated 2 years ago
• GoodAI / SpaceEngineersGym
  ☆13Updated 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• smentu / AI-guided-rockets
  Training a SpaceX-style rocket to land autonomously using reinforcement learning. Powered by Unity MLAgents.
  ☆38Updated 4 years ago
• webgme / webgme
  Web-based Generic Modeling Environment
  ☆162Updated 3 months ago
• KCL-Planning / SMTPlan
  PDDL+ planning through compilation to SMT
  ☆46Updated 2 years ago
• kliu20 / jRAPL
  ☆21Updated 7 years ago
• tgrall / drill-node-dashboard
  Simple ASCII Dashboard created with Drill & Node.js
  ☆10Updated 9 years ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• notthatbreezy / nyc-taxi-spark-ml
  Example python spark machine learning on NYC taxi data
  ☆9Updated 9 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆48Updated 5 months ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆18Updated 7 months ago