TY - RPRT TI - An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory AU - Alain Finkel AU - Gaspard Fougea AU - Stéphane Le Roux PY - 2025 UR - https://arxiv.org/abs/2501.05185 ID - 2501.05185 ER -