Evaluating Learning Outcomes In a Serious Game: A Practical and Model Checking Approach

Author

Matthew D. Douglas

Date of Award

3-2025

Document Type

Thesis

Degree Name

Master of Science in Cyber Operations

Department

Department of Electrical and Computer Engineering

First Advisor

Mark G. Reith, PhD

Abstract

This research introduces a novel computational framework to evaluate and predict the educational impact of serious games during development. By using finite state machines (FSM) and model-checking techniques, this study evaluates two serious games. Traditional evaluation approaches, often reliant on resource-intensive human trials, lack scalability and fail to provide early insight into the alignment of game mechanics with learning objectives. This study addresses these challenges of traditional evaluation methods.

AFIT Designator

AFIT-ENG-MS-25-M-020

Comments

An embargo was observed for posting this thesis on AFIT Scholar.

This work is marked as Distribution A - Approved for public release. Distribution Unlimited. PA clearance case number on file.

Recommended Citation

Douglas, Matthew D., "Evaluating Learning Outcomes In a Serious Game: A Practical and Model Checking Approach" (2025). Theses and Dissertations. 8202.
https://scholar.afit.edu/etd/8202