On Verifying Linear Execution Strategies in Planning Against Nature.

Lukás Chrpa Erez Karpas

Published in: ICAPS (2024)

Keyphrases

plan generation
plan execution
reactive planning
planning problems
search engine
multiscale
heuristic search
model checking
linear model
concurrent execution
execution model
planning process
mixed initiative
data flow
data sets
domain independent
mobile robot
genetic algorithm