Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning

J. Artif. Intell. Res., pp. 535-577, 2018.

Cited by: 23|Bibtex|Views3|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments