Install Docker
docker build -t rl_ltl_pac .The docker image build takes around 15 mins on a 12-core CPU machine.
docker run -it -p 8081:8081 --rm rl_ltl_pacMake sure 8081 is unoccupied, or you can tweak 8081 to an unoccupied port
-
Notifications
You must be signed in to change notification settings - Fork 0
psg-mit/rl_ltl_sample_complexity
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Code for the paper "On the (In)Tractability of Reinforcement Learning for LTL Objectives"
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published