Model Checking for Gaze Pattern Recognition

Ari Rodriguez, Everardo Bárcenas, Guillermo Molero-Castillo. Model Checking for Gaze Pattern Recognition. In International Conference on Electronics, Communications and Computers, CONIELECOMP 2019, Cholula, Mexico, February 27 - March 1, 2019. pages 170-175, IEEE, 2019. [doi]

Abstract

Abstract is missing.