C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Best-Effort Synthesis for Single and Multiple Goal and Planning Domain Specifications.
Gianmarco Parretti
Published in:
EUMAS (2023)
Keyphrases
</>
planning domains
description language
ai planning
model checking
planning problems
deterministic finite automaton
machine learning
optimal solution
domain knowledge
model checker
symbolic model checking