Property Directed Reachability for Automated Planning (Q4979439)
From MaRDI portal
scientific article; zbMATH DE number 6306400
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Property Directed Reachability for Automated Planning |
scientific article; zbMATH DE number 6306400 |
Statements
Property Directed Reachability for Automated Planning (English)
0 references
23 June 2014
0 references
