Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning (2001)

Cached

Download Links

by Piergiorgio Bertoli , Alessandro Cimatti , Marco Roveri
Citations:42 - 7 self