A correctness result for synthesizing plans with loops in stochastic domains (Q2300450)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A correctness result for synthesizing plans with loops in stochastic domains |
scientific article |
Statements
A correctness result for synthesizing plans with loops in stochastic domains (English)
0 references
27 February 2020
0 references
plan and program synthesis
0 references
stochastic domains
0 references
loops in plans and programs
0 references
stochastic algorithms
0 references
planning in robotics
0 references
