athena_pomdp_solve
Exhaustively solve a small finite-state, finite-horizon POMDP tree, returning a certificate only if node search completes successfully.
Instructions
Exhaustively solve one small finite-state finite-horizon POMDP tree when node search completes; otherwise return no certificate.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| states | Yes | ||
| actions | Yes | ||
| horizon | No | ||
| discount | No | ||
| max_nodes | No | ||
| initial_belief | Yes |