Non-Deterministic Planning for Hyperproperty Verification.

Raven Beutner Bernd Finkbeiner

Published in: CoRR (2024)

Keyphrases

stochastic domains
planning problems
model checking
deterministic domains
learning algorithm
heuristic search
face verification
mission planning
data sets
information retrieval
state space
decision support
black box
production planning
ai planning