Skip to content

[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas

License

Notifications You must be signed in to change notification settings

ylkuo/ltl-zero-shot

Repository files navigation

ltl-zero-shot

This is the code repository for the paper "Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas"

Requirements

Install

We recommend to run in a new virtual environment. Please installed the library listed above before proceeding. You can clone this repo and run pip install -r requirements.txt to get the dependencies.

Run

run_char.sh and run_craft.sh are the training scripts for the experiments. This will run for a long time as it also runs the test set every 100 formula updates.

About

[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas

Topics

Resources

License

Stars

Watchers

Forks