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

View PDF

Download Links

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