Goal-constrained planning domain model verification of safety properties.

Anas Shrinah Kerstin Eder

Published in: STAIRS@ECAI (2020)

Keyphrases

general purpose
object model
machine learning
genetic algorithm
evolutionary algorithm
np hard
dynamic programming
probabilistic model
model checking
ai planning
model checker