├── LICENSE ├── Papers ├── 00_Modular_Deep_Reinforcement_Learning_with_Temporal_Logic_Specifications.pdf ├── 01_Using_Reward_Machines_for_High_Level_Task_Specification_and_Decomposition.pdf ├── 02_LTL_and_Beyond_Formal_Languages_for_Reward_Function_Specification.pdf ├── 03_Teaching_Multiple_Tasks_to_an_RL_Agent_using_LTL.pdf ├── 04_Foundations_for_restraining_bolts.pdf ├── 05_Automata_Synthesis_for_Automatic_Task_Segm.pdf └── 06_Formal_Language_Constraints_for_MDP.pdf ├── README.md ├── _config.yml ├── img ├── env.png ├── reward.png ├── sac_modular.gif └── sac_only.gif ├── ra-gym ├── ra_gym.egg-info │ ├── PKG-INFO │ ├── SOURCES.txt │ ├── dependency_links.txt │ ├── requires.txt │ └── top_level.txt ├── ra_gym │ ├── __init__.py │ ├── __pycache__ │ │ ├── __init__.cpython-37.pyc │ │ └── __init__.cpython-38.pyc │ └── envs │ │ ├── __init__.py │ │ ├── __pycache__ │ │ ├── __init__.cpython-37.pyc │ │ ├── __init__.cpython-38.pyc │ │ ├── ra_env.cpython-37.pyc │ │ └── ra_env.cpython-38.pyc │ │ └── ra_env.py └── setup.py └── sac_modular.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/LICENSE -------------------------------------------------------------------------------- /Papers/00_Modular_Deep_Reinforcement_Learning_with_Temporal_Logic_Specifications.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/Papers/00_Modular_Deep_Reinforcement_Learning_with_Temporal_Logic_Specifications.pdf -------------------------------------------------------------------------------- /Papers/01_Using_Reward_Machines_for_High_Level_Task_Specification_and_Decomposition.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/Papers/01_Using_Reward_Machines_for_High_Level_Task_Specification_and_Decomposition.pdf -------------------------------------------------------------------------------- /Papers/02_LTL_and_Beyond_Formal_Languages_for_Reward_Function_Specification.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/Papers/02_LTL_and_Beyond_Formal_Languages_for_Reward_Function_Specification.pdf -------------------------------------------------------------------------------- /Papers/03_Teaching_Multiple_Tasks_to_an_RL_Agent_using_LTL.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/Papers/03_Teaching_Multiple_Tasks_to_an_RL_Agent_using_LTL.pdf -------------------------------------------------------------------------------- /Papers/04_Foundations_for_restraining_bolts.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/Papers/04_Foundations_for_restraining_bolts.pdf -------------------------------------------------------------------------------- /Papers/05_Automata_Synthesis_for_Automatic_Task_Segm.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/Papers/05_Automata_Synthesis_for_Automatic_Task_Segm.pdf -------------------------------------------------------------------------------- /Papers/06_Formal_Language_Constraints_for_MDP.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/Papers/06_Formal_Language_Constraints_for_MDP.pdf -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/_config.yml -------------------------------------------------------------------------------- /img/env.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/img/env.png -------------------------------------------------------------------------------- /img/reward.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/img/reward.png -------------------------------------------------------------------------------- /img/sac_modular.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/img/sac_modular.gif -------------------------------------------------------------------------------- /img/sac_only.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/img/sac_only.gif -------------------------------------------------------------------------------- /ra-gym/ra_gym.egg-info/PKG-INFO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym.egg-info/PKG-INFO -------------------------------------------------------------------------------- /ra-gym/ra_gym.egg-info/SOURCES.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym.egg-info/SOURCES.txt -------------------------------------------------------------------------------- /ra-gym/ra_gym.egg-info/dependency_links.txt: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /ra-gym/ra_gym.egg-info/requires.txt: -------------------------------------------------------------------------------- 1 | gym 2 | numpy 3 | -------------------------------------------------------------------------------- /ra-gym/ra_gym.egg-info/top_level.txt: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /ra-gym/ra_gym/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/__init__.py -------------------------------------------------------------------------------- /ra-gym/ra_gym/__pycache__/__init__.cpython-37.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/__pycache__/__init__.cpython-37.pyc -------------------------------------------------------------------------------- /ra-gym/ra_gym/__pycache__/__init__.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/__pycache__/__init__.cpython-38.pyc -------------------------------------------------------------------------------- /ra-gym/ra_gym/envs/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/envs/__init__.py -------------------------------------------------------------------------------- /ra-gym/ra_gym/envs/__pycache__/__init__.cpython-37.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/envs/__pycache__/__init__.cpython-37.pyc -------------------------------------------------------------------------------- /ra-gym/ra_gym/envs/__pycache__/__init__.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/envs/__pycache__/__init__.cpython-38.pyc -------------------------------------------------------------------------------- /ra-gym/ra_gym/envs/__pycache__/ra_env.cpython-37.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/envs/__pycache__/ra_env.cpython-37.pyc -------------------------------------------------------------------------------- /ra-gym/ra_gym/envs/__pycache__/ra_env.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/envs/__pycache__/ra_env.cpython-38.pyc -------------------------------------------------------------------------------- /ra-gym/ra_gym/envs/ra_env.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/ra_gym/envs/ra_env.py -------------------------------------------------------------------------------- /ra-gym/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/ra-gym/setup.py -------------------------------------------------------------------------------- /sac_modular.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickyMexx/DeepRL-LTL/HEAD/sac_modular.py --------------------------------------------------------------------------------