Login / Signup
Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints.
Ryugo Tanaka
Tomoyuki Yokogawa
Sousuke Amasaki
Hirohisa Aman
Kazutami Arimoto
Published in:
GCCE (2023)
Keyphrases
</>
symbolic model checking
model checking
formal verification
partial observability
tree structure
conformant planning
constraint satisfaction
random walk
first order logic
constraint programming
symbolic representation
planning domains