GitHub repository: AriRodriguezCruz/mcfgpr
Primary language: Python
Description: Project Model Checking for Gaze Pattern Recogntion