Commits

Commits on Sep 6, 2022

Update README.md
saybuser
committedSep 6, 2022

Commits on Aug 10, 2020

Update hd_milp_plan.py
saybuser
committedAug 10, 2020

Commits on Jul 21, 2020

Update README.md
saybuser
committedJul 21, 2020
Update README.md
saybuser
committedJul 21, 2020

Commits on Feb 1, 2020

Add files via upload
saybuser
committedFeb 1, 2020

Commits on Dec 14, 2018

fixed the time setting for preprocessing (i.e., divided by 2 for each bound per variable per time step)
saybuser
committedDec 14, 2018

Commits on Dec 13, 2018

updated the termination condition so that when the planner terminates due to deterministic time limit with a solution, it also prints the solution (as opposed to terminating without printing the so…
saybuser
committedDec 13, 2018

Commits on Oct 6, 2018

fixed typographical errors on the equations.
saybuser
committedOct 6, 2018

Commits on Sep 8, 2018

Update README.md
saybuser
committedSep 8, 2018

Commits on Aug 2, 2018

Update README.md
saybuser
committedAug 2, 2018
updated preprocessing so states/actions bounds are propagated in time forward.
saybuser
committedAug 2, 2018
Add files via upload
saybuser
committedAug 2, 2018
Update README.md
saybuser
committedAug 2, 2018
Delete goal_navigation_8x8.txt
saybuser
committedAug 2, 2018
Delete goal_navigation_10x10.txt
saybuser
committedAug 2, 2018
Add files via upload
saybuser
committedAug 2, 2018
corrected missing file handling.
saybuser
committedAug 2, 2018
Update README.md
saybuser
committedAug 2, 2018
Update README.md
saybuser
committedAug 2, 2018
can handle discrete state variables
saybuser
committedAug 2, 2018
added states with integer domains.
saybuser
committedAug 2, 2018
changed the name of activation from regular to linear
saybuser
committedAug 2, 2018

Commits on Aug 1, 2018

Update README.md
saybuser
committedAug 1, 2018
Update README.md
saybuser
committedAug 1, 2018
Update README.md
saybuser
committedAug 1, 2018
Update README.md
saybuser
committedAug 1, 2018
added the ability to make use of known transition functions
saybuser
committedAug 1, 2018
Update README.md
saybuser
committedAug 1, 2018
Example input for known transition files.
saybuser
committedAug 1, 2018
added the ability to make use of known transition functions
saybuser
committedAug 1, 2018

Commits on Jul 31, 2018

updated the diagram :)
saybuser
committedJul 31, 2018
updated the diagram :)
saybuser
committedJul 31, 2018
Update README.md
saybuser
committedJul 31, 2018
see the description for the translation folder commit.
saybuser
committedJul 31, 2018
changed the data format to handle variable coefficients in linear expressions.
saybuser
committedJul 31, 2018