☆11Jun 7, 2021Updated 5 years ago
Alternatives and similar repositories for logical-options-framework
Users that are interested in logical-options-framework are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NeurlPS'23 Instructing Goal-Conditioned Agents with LTL Objectives☆26Jan 5, 2024Updated 2 years ago
- Project under CSF407 - AI☆13Jun 24, 2024Updated 2 years ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆26Jul 14, 2025Updated last year
- demo of ntrl☆16Nov 25, 2025Updated 11 months ago
- [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas☆10Mar 25, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Living…☆16Sep 19, 2018Updated 8 years ago
- ☆31Mar 1, 2018Updated 8 years ago
- Official Release of Multistep Quasimetric Estimation (MQE)☆22Mar 13, 2026Updated 7 months ago
- stlcg implemented with jax☆35Mar 25, 2026Updated 7 months ago
- Vault backend for python-keyring☆10Jan 31, 2026Updated 9 months ago
- The official implementation of DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL (ICLR'25 Oral)☆19Mar 30, 2025Updated last year
- Mobile Robot Control via Goal-Conditioned Reinforcement Learning☆24Oct 13, 2023Updated 3 years ago
- Redis Protocol parsing and asynchronous server in Python for building servers capable of speaking with a Redis client in any language.☆12Sep 2, 2013Updated 13 years ago
- dummy redis clones implementation in different languages/frameworks☆10May 20, 2012Updated 14 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Python package that provides a simple framework for working with Options in Reinforcement Learning.☆22Feb 13, 2025Updated last year
- A reusable Django app that invalidates all active sessions after change password☆10Feb 20, 2015Updated 11 years ago
- Fork of http://code.google.com/p/mapnik-utils/ using git-svn☆14Sep 8, 2010Updated 16 years ago
- Official code for TLDR: Unsupervised Goal-Conditioned RL via Temporal Distance-Aware Representations☆36Jan 24, 2026Updated 9 months ago
- Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "I…☆11Aug 15, 2023Updated 3 years ago
- ☆78Feb 16, 2024Updated 2 years ago
- Tail a file into a Kafka queue☆14Jan 13, 2014Updated 12 years ago
- Rewrite of git-credential-bw-shell in Typescript.☆12Apr 16, 2026Updated 6 months ago
- SPACE (Swarm Planning And Contorl Evaluation) Simulator☆31Apr 10, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A framework for designing optimal feedback controllers using physics-driven machine learning.☆10Apr 9, 2021Updated 5 years ago
- Executive control code for STRANDS robots.☆11Feb 13, 2020Updated 6 years ago
- Rust port of TinyMPC for embedded applications☆12Jan 22, 2026Updated 9 months ago
- Deploy RL on your Real-World Franka Emika Panda☆14Feb 22, 2026Updated 8 months ago
- Redis Protocol implemented by python☆16Feb 12, 2015Updated 11 years ago
- The associated repo for paper "Data-Efficient Learning of Natural Language to Linear Temporal Logic Translators for Robot Task Specificat…☆33Aug 16, 2023Updated 3 years ago
- Chat with the Top LLM and NLP Research Papers☆11Aug 21, 2024Updated 2 years ago
- PyTorch Package For Quasimetric Learning☆52Oct 31, 2024Updated 2 years ago
- Contains FPGA benchmarks for Vivado HLS and Catapult HLS☆29Jun 18, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- QuickEst repository: Quick Estimation of Quality of Results☆27Oct 23, 2018Updated 8 years ago
- LTL Optimal Multi-Agent Planner (LOMAP)☆34Oct 21, 2026Updated last week
- SynthTL: Translating Natural Language to Temporal Logics with Large Language Models and Model Checkers☆12Sep 20, 2024Updated 2 years ago
- Implementation of PatchAIL in the ICLR 2023 paper <Visual Imitation with Patch Rewards>☆14Feb 15, 2023Updated 3 years ago
- Common Lisp interactive environment for Godot☆14Aug 17, 2026Updated 2 months ago
- Codes for designing ConVex Optimization-based Stochastic steady-state Tracking Error Minimization (CV-STEM) Control☆11Jun 17, 2020Updated 6 years ago
- ☆34Dec 16, 2021Updated 4 years ago