Home

Piergiorgio__Bertoli


Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space

Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning