ertsiger / gym-subgoal-automataView external linksLinks
Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" using OpenAI Gym API.
☆12Aug 15, 2023Updated 2 years ago
Alternatives and similar repositories for gym-subgoal-automata
Users that are interested in gym-subgoal-automata are comparing it to the libraries listed below
Sorting:
- Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Autom…☆13Aug 15, 2023Updated 2 years ago
- Code exploring the use of reward machines in the context of cooperative multi-agent reinforcement learning.☆14Apr 29, 2023Updated 2 years ago
- Android app for tracking your locations and uploading them on your private server☆11Jul 1, 2017Updated 8 years ago
- T-GCN交通流量动态预测，需要研究如何把流速转化为流量☆10Oct 17, 2019Updated 6 years ago
- Code of Feature Fusion Transferability Aware Transformer for Unsupervised Domain Adaptation, WACV 2025☆10Dec 5, 2024Updated last year
- ☆10Jun 7, 2021Updated 4 years ago
- Fisher-Bures Adversary Graph Convolutional Networks☆12Aug 20, 2019Updated 6 years ago
- Cross-GCN: Enhancing Graph Convolutional Network with k-Order Feature Interactions☆12Mar 26, 2020Updated 5 years ago
- The implementations of Graph Convolutional Neural Network models☆12Aug 8, 2020Updated 5 years ago
- ROS Noetic package wrapped around the Sony Camera Remote SDK.☆11Jun 1, 2021Updated 4 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- A Reinforcement Learning package for 6th semester project☆12Jun 26, 2018Updated 7 years ago
- A toolkit for designing and implementing LTL-based task specifications.☆56Oct 11, 2016Updated 9 years ago
- Segment graph convolutional neural network for relation classification. Paper in JAMIA.☆10May 13, 2019Updated 6 years ago
- From pixels to symbolic rule learning☆12Nov 12, 2021Updated 4 years ago
- ☆15Sep 6, 2024Updated last year
- Official implementation of the algorithmic approach presented in the research paper entitled "Risk-Sensitive Policy with Distributional R…☆15Dec 19, 2022Updated 3 years ago
- Case-Study on Reinforcement Learning for Intralogistics☆12Sep 7, 2021Updated 4 years ago
- KDD 2020: AM-GCN: Adaptive Multi-channel Graph Convolutional Networks☆10Apr 20, 2021Updated 4 years ago
- ☆10Feb 26, 2021Updated 4 years ago
- Fusion-then-Distillation: Toward Cross-modal Positive Distillation for Domain Adaptive 3D Semantic Segmentation [TCSVT 2025]☆16Feb 21, 2025Updated 11 months ago
- Code for generating options for planning and reinforcement learning☆12Feb 18, 2021Updated 4 years ago
- (CVPR Workshop Best Paper Award) Benchmarking Multi-modal Semantic Segmentation under Sensor Failures: Missing and Noisy Modality Robustn…☆17Nov 4, 2025Updated 3 months ago
- an enumerative reactive synthesis tool for the GR(1) fragment of LTL☆13Jan 5, 2026Updated last month
- Repo for CS 380D Distributed Systems course at the University of Texas at Austin CS Department☆25Mar 30, 2020Updated 5 years ago
- C++11-like wrapper for embedded operating systems☆12Oct 20, 2016Updated 9 years ago
- The social-LSTM code for complete trajectory prediction (20 frames). In this repository, the normalized trajectory and non-normalized tra…☆11Apr 16, 2023Updated 2 years ago
- A Generic Resource-Aware Hyperparameter Tuning Execution Engine☆15Jan 8, 2022Updated 4 years ago
- Python package to predict deep learning execution time☆13Jul 26, 2022Updated 3 years ago
- This is the official implementation of "OpenREAD:Reinforced Open-Ended Reasoning for End-to-End Autonomous Driving with LLM-as-Critic"☆41Dec 11, 2025Updated 2 months ago
- An introduction to graph convolutional neural networks with PyTorch Geometric☆12May 8, 2020Updated 5 years ago
- A Python library for the Sequential Halving and Classification algorithm☆20Apr 13, 2022Updated 3 years ago
- A research project that leverages reinforcement learning and game theory in self-driving cars☆18Jun 6, 2021Updated 4 years ago
- This repository is the implementation of the paper "Beating Atari with Natural Language Guided Reinforcement Learning"☆11Nov 25, 2018Updated 7 years ago
- LaTeX package to typeset Uppaal timed automata specifications☆13Dec 19, 2025Updated last month
- Reinforcement learning based emergency braking system built using the CARLA driving simulator☆14Aug 8, 2023Updated 2 years ago
- [RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.☆17Dec 22, 2023Updated 2 years ago
- ☆14Jan 25, 2025Updated last year
- Count based exploration with the successor representation for Unity ML's Pyramid☆12Jun 19, 2019Updated 6 years ago