Skip to content

POMDPLinter Functionality #232

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.

Sign up for GitHub

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

Jump to bottom
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
Labels
linter major project

Comments

@zsunberg
Copy link
Member

zsunberg commented Dec 19, 2018 •
edited
Loading

Someday someone (like me) might want to make a linter for POMDP problems. This issue will be a checklist for functionality.
@zsunberg zsunberg mentioned this issue Dec 19, 2018
Closed
@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

@zsunberg zsunberg mentioned this issue Jun 8, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
linter major project
Projects
2022 SISL POMDPs.jl Hackathon
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@zsunberg