Login / Signup
Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking.
Piergiorgio Bertoli
Alessandro Cimatti
John K. Slaney
Sylvie Thiébaux
Published in:
ECAI (2002)
Keyphrases
</>
symbolic model checking
power supply
deterministic domains
solving problems
partial observability
conformant planning
model checking
planning problems
machine learning
image processing
intelligent control
formal verification