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

Cached

Download Links

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