prbnmcn-mcts provides a DSL to describe non-deterministic computations and perform Monte-Carlo tree search-based selection of choices, guided by a reward function.
prbnmcn-mcts
See the introduction.
Mcts