Alternatives and similar repositories for ProMis

Users that are interested in ProMis are comparing it to the libraries listed below

• ffelten / CrazyRL
  JAX and PZ RL envs + algorithms for swarms of CrazyFlies
  ☆77Updated 9 months ago
• JacopoPan / a-minimalist-guide
  Walkthroughs for DSL, AirSim, the Vector Institute, and more
  ☆70Updated 3 years ago
• jjshoots / PyFlyt
  UAV Flight Simulator for Reinforcement Learning Research
  ☆156Updated 2 months ago
• grockious / lcrl
  Logically-Constrained Reinforcement Learning
  ☆54Updated 11 months ago
• Zhehui-Huang / quad-swarm-rl
  A Multiple Quadrotor Environment Compatible With OpenAI Gym
  ☆160Updated 4 months ago
• UNCCharlotte-CS-Robotics / LineCoverage-library
  Library for line coverage and arc rouing for single and multiple robots
  ☆11Updated 2 years ago
• potassco / asprilo
  🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming
  ☆58Updated 3 years ago
• aiplan4eu / unified-planning
  The AIPlan4EU Unified Planning Library
  ☆238Updated this week
• RodrigoToroIcarte / reward_machines
  ☆69Updated last year
• mvcisback / py-metric-temporal-logic
  Python library for working with Metric Temporal Logic (MTL)
  ☆99Updated 2 years ago
• dimikout3 / MarsExplorer
  ☆68Updated 2 years ago
• ml-research / pix2code
  The Pix2Code framework: generalizable, interpretable and revisable visual concept learning
  ☆14Updated 2 months ago
• aig-upf / universal-pddl-parser-multiagent
  The multiagent extension for the PDDL parser
  ☆35Updated 5 years ago
• simondlevy / gym-copter
  Gymnasium environment for reinforcement learning with multicopters
  ☆30Updated last year
• pfeinsper / drone-swarm-search
  The Drone Swarm Search project provides an environment for SAR missions built on PettingZoo, where agents, represented by drones, are tas…
  ☆45Updated 7 months ago
• pyrddlgym-project / pyRDDLGym
  A toolkit for auto-generation of OpenAI Gym environments from RDDL description files.
  ☆84Updated last week
• StanfordASL / stlcg
  ☆69Updated last year
• Kurorororo / numeric-fast-downward
  ☆15Updated last year
• mnmldb / autonomous-drone-swarm
  Multi-agent reinforcement learning for autonomous navigation for mapping and multi-objective drone swarm exploration
  ☆37Updated 3 years ago
• IMRCLab / crazyswarm2
  A Large Quadcopter Swarm
  ☆150Updated this week
• ml-research / nsfr
  The Neuro-Symbolic Forward Reasoner
  ☆24Updated last year
• proroklab / rllib_differentiable_comms
  This is a minimal example to demonstrate how multi-agent reinforcement learning with differentiable communication channels and centralize…
  ☆42Updated last year
• cyrusneary / rm-cooperative-marl
  Code exploring the use of reward machines in the context of cooperative multi-agent reinforcement learning.
  ☆13Updated 2 years ago
• csviragh / robotsim
  Simulation framework for collective robotics
  ☆69Updated 5 years ago
• JacopoPan / gym-marl-reconnaissance
  Gym environment for cooperative multi-agent reinforcement learning in heterogeneous robot teams
  ☆46Updated 3 years ago
• adipandas / gym_multirotor
  Multi-rotor Gym
  ☆54Updated 2 years ago
• AI-Planning / pddl
  Unquestionable PDDL 3.1 parser
  ☆127Updated 2 weeks ago
• jjshoots / CrazyFlyt
  Crazyflie UAV simulation based on the PyFlyt library
  ☆19Updated last year
• airbus / scikit-decide
  AI framework for Reinforcement Learning, Automated Planning and Scheduling
  ☆161Updated last month
• h2r / pomdp-py
  A framework to build and solve POMDP problems. Documentation: https://h2r.github.io/pomdp-py/
  ☆247Updated last month