Login / Signup
Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking.
Martin Mariusz Lester
Published in:
CoRR (2020)
Keyphrases
</>
partial evaluation
bounded model checking
explanation based generalization
model checking
adventure game
formal verification
temporal logic
linear temporal logic
support vector
knowledge base
domain specific
xml data
video games
xpath queries
game development