Non-deterministic Planning for Hyperproperty Verification.

Raven Beutner Bernd Finkbeiner

Published in: ICAPS (2024)

Keyphrases

stochastic domains
deterministic domains
model checking
face verification
planning problems
ai planning
mixed initiative
heuristic search
decision support
black box
motion planning
planning domains
data mining
goal oriented
formal analysis
planning systems
forward search