Alternatives and similar repositories for stl_npc

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

• RickyMexx / DeepRL-LTL

  View on GitHub
  Deep Reinforcement Learning with LTL goals.
  ☆10May 19, 2020Updated 5 years ago
• sundw2014 / STLPlanning

  View on GitHub
  Path planning from STL (Signal Temporal Logic) specifications
  ☆58Nov 16, 2022Updated 3 years ago
• anand-bala / signal-temporal-logic

  View on GitHub
  A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!
  ☆38Oct 13, 2023Updated 2 years ago
• GTLIDAR / ltl_multi_agent

  View on GitHub
  ☆15Aug 8, 2023Updated 2 years ago
• MIT-REALM / dgppo

  View on GitHub
  Official Implementation of ICLR2025 Paper: Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan: "Discrete GCBF Proximal Policy Optimizat…
  ☆25May 14, 2025Updated 9 months ago
• oswinso / jaxproxqp

  View on GitHub
  Fast QP Solver in JAX
  ☆28Aug 29, 2024Updated last year
• vincekurtz / stlpy

  View on GitHub
  A python library for control from Signal Temporal Logic (STL) specifications
  ☆56Jun 13, 2025Updated 8 months ago
• PatrickTrentin88 / gltl2ba

  View on GitHub
  This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.
  ☆25Sep 15, 2017Updated 8 years ago
• castacks / mcts-stl-planning

  View on GitHub
  Online Signal Temporal Logic (STL) Monte-Carlo Tree Search for Guided Imitation Learning
  ☆25Sep 29, 2022Updated 3 years ago
• McGill-AML / mcfoamy_gazebo

  View on GitHub
  ☆10Jul 14, 2021Updated 4 years ago
• XushengLuo92 / Hierarchical-LTL-STAP

  View on GitHub
  Source code for T-RO paper "Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications"
  ☆40May 31, 2025Updated 8 months ago
• scaidermern / TrackMe

  View on GitHub
  Android app for tracking your locations and uploading them on your private server
  ☆11Jul 1, 2017Updated 8 years ago
• Ricky-Zhu / IRDEC

  View on GitHub
  [IROS2023]Learning to Solve Tasks with Exploring Prior Behaviours
  ☆12Mar 3, 2024Updated last year
• yemam3 / Mod-RL-RCBF

  View on GitHub
  ☆43Oct 19, 2022Updated 3 years ago
• lrhammond / almanac

  View on GitHub
  Implementation and evaluation of Almanac (Automaton/Logic Multi-Agent Natural Actor-Critic), an algorithm for multi-agent reinforcement l…
  ☆10May 5, 2022Updated 3 years ago
• inboxedshoe / RP-DQN

  View on GitHub
  ☆11Jan 11, 2022Updated 4 years ago
• tamu-engineering-research / OpenGridGym

  View on GitHub
  ☆16Jul 18, 2022Updated 3 years ago
• gkswamy98 / causal_il

  View on GitHub
  Contains implementation of the DoubIL and ResiduIL algorithms from the ICML '22 paper Causal Imitation Learning under Temporally Correlat…
  ☆11Dec 9, 2022Updated 3 years ago
• ar8372 / EV-Enrouting

  View on GitHub
  Find optimal path for electric vehicle using spatial information.
  ☆11Apr 1, 2023Updated 2 years ago
• Shawey94 / WACV2025-FFTAT

  View on GitHub
  Code of Feature Fusion Transferability Aware Transformer for Unsupervised Domain Adaptation, WACV 2025
  ☆10Dec 5, 2024Updated last year
• cmubig / socialAttention

  View on GitHub
  ☆11Apr 8, 2024Updated last year
• matthieu637 / DFRL

  View on GitHub
  Learning Fair Policies in Decentralized Cooperative Multi-Agent Reinforcement Learning
  ☆10Nov 14, 2021Updated 4 years ago
• Road-Balance / rb_unitree_legged_sdk

  View on GitHub
  SDK for Unitree A1, Co-Working with Wego Robotics
  ☆10Feb 20, 2022Updated 3 years ago
• fanwuyu-web / chat_robot_for_openai

  View on GitHub
  基于openai api的对话机器人，使用百度语音识别和基于vits模型训练的语音合成，实现与chatgpt的对话交流
  ☆12Jun 28, 2023Updated 2 years ago
• edugallogithub / gnssdenied_flight_simulation

  View on GitHub
  High fidelity flight simulation for an autonomous low SWaP (Size, Weight, and Power) fixed wing unmanned air vehicle in GNSS-Denied condi…
  ☆12Apr 8, 2020Updated 5 years ago
• Da1sypetals / Raddy

  View on GitHub
  An automatic differentiation system for dense and sparse problems
  ☆13Jan 16, 2025Updated last year
• hjalte33 / rl_unscrew

  View on GitHub
  A Reinforcement Learning package for 6th semester project
  ☆12Jun 26, 2018Updated 7 years ago
• anand-bala / argus

  View on GitHub
  Tool/library for manipulating and monitoring temporal logic specifications
  ☆11Oct 31, 2023Updated 2 years ago
• lgkimjy / wheel_odometry

  View on GitHub
  Odometry calculation based on mobile robot motor encoder
  ☆12Jul 2, 2020Updated 5 years ago
• MichaelHatherly / CuratedSystemImages.jl

  View on GitHub
  Julia package providing curated system images
  ☆12Jan 1, 2025Updated last year
• PeterNg15 / text-to-drive

  View on GitHub
  Text-to-Drive: Diverse Driving Behaviors Synthesis via Large Language Models
  ☆11Mar 17, 2024Updated last year
• ntnu-arl / predictive_planning_ros

  View on GitHub
  ☆22May 1, 2025Updated 9 months ago
• aigerimb / FFEVSS

  View on GitHub
  ☆10Dec 29, 2020Updated 5 years ago
• Waller-Lab / EncodingInformation

  View on GitHub
  Information-Driven Design of Imaging Systems
  ☆17Dec 24, 2025Updated last month
• EnzymeAD / Enzyme-MLIR-Reverse

  View on GitHub
  Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.
  ☆11Apr 23, 2023Updated 2 years ago
• hai-zhu / mav_tracker

  View on GitHub
  Trajectory tracking controllers for micro aerial vehicles
  ☆10Mar 9, 2022Updated 3 years ago
• resuldagdanov / self-improving-RL

  View on GitHub
  Codebase of paper "Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms" publ…
  ☆12Jul 13, 2023Updated 2 years ago
• johnmyleswhite / julia-function-docs

  View on GitHub
  Repo for materials for coordinating work on improving Julia's function documentation
  ☆10Jul 30, 2022Updated 3 years ago
• wangyixu14 / llm_conditioned_mpc_ad

  View on GitHub
  ☆11Jan 23, 2024Updated 2 years ago