Closed zsunberg closed 8 months ago
See instructions at https://sites.google.com/view/pomdps-hackathon/pomdptools-upgrade-instructions
Pending PR merge of https://github.com/LAMDA-POMDP/AdaOPS.jl/pull/10
Completed with https://github.com/LAMDA-POMDP/AdaOPS.jl/pull/10
See instructions at https://sites.google.com/view/pomdps-hackathon/pomdptools-upgrade-instructions