Verifying Maze-Like Game Levels With Model Checker SPIN

Verifying Maze-Like Game Levels With Model Checker SPIN

This study presents a framework that procedurally generates maze-like levels and leverages an automated verification technique called model checking to verify and produce a winning action sequence for that level. By leveraging the counterexample generation feature of the SPIN model checker, one or m...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Onur Tekik, Elif Surer, Aysu Betin Can
Format: Artykuł
Język:English
Wydane: IEEE 2022-01-01
Seria:IEEE Access
Hasła przedmiotowe:
Formal verification
model checking
procedural content generation
puzzle games
video game description language
Dostęp online:https://ieeexplore.ieee.org/document/9802094/

Internet

https://ieeexplore.ieee.org/document/9802094/

Podobne zapisy