Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

POMDPLinter Functionality #232

Open
3 tasks
zsunberg opened this issue Dec 19, 2018 · 1 comment
Open
3 tasks

POMDPLinter Functionality #232

zsunberg opened this issue Dec 19, 2018 · 1 comment

Comments

@zsunberg
Copy link
Member

zsunberg commented Dec 19, 2018

Someday someone (like me) might want to make a linter for POMDP problems. This issue will be a checklist for functionality.

@zsunberg zsunberg added this to the 0.9 milestone Jun 8, 2020
@zsunberg zsunberg added the linter label Jun 8, 2020
@zsunberg zsunberg removed this from the 0.9 milestone Jun 8, 2020
@zsunberg
Copy link
Member Author

  • states hash correctly and are completely immutable

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Development

No branches or pull requests

1 participant