Model-checking for adventure videogames.
Pablo Moreno-GerRubén Fuentes-FernándezJosé Luis Sierra-RodríguezBaltasar Fernández-ManjónPublished in: Inf. Softw. Technol. (2009)
Keyphrases
- video games
- model checking
- temporal logic
- finite state
- symbolic model checking
- learning experience
- formal verification
- model checker
- formal specification
- game design
- game play
- automated verification
- temporal properties
- transition systems
- computer games
- partial order reduction
- formal methods
- computation tree logic
- educational games
- game engine
- reachability analysis
- game playing
- finite state machines
- serious games
- verification method
- concurrent systems
- timed automata
- pspace complete
- game based learning
- asynchronous circuits
- process algebra
- modal logic
- digital games
- planning domains
- epistemic logic
- linear temporal logic
- game development
- machine learning
- alternating time temporal logic