• Enhancing Healthcare with Virtual Reality

      Xia, Peng (Auckland University of Technology, 2018)
      Given the rising trend of natural and technological disasters in recent years, the demands for emergency responders are on the rise. One main challenge is how to cost-effectively train emergency responders. In this research, ...
    • Model Checking in General Game Playing: Automated Translation from GDL-II to MCK

      Sadanand, Darrel (Auckland University of Technology, 2017)
      General Game Playing (GGP) is the field of Artificial Intelligence (AI) that investigates generalized techniques for finding winning strategies in games. GGP agents are expected to be able to play a game with no prior ...