@unpublished{finkel_hal-05095749,
    title = {{Bridging Psychology and Computation: Modular Formalization of Psychological Theories with Automata and Model Checking}},
    author = {Finkel, Alain and Fougea, Gaspard and Le Roux, St{\'e}phane},
    url = {https://hal.science/hal-05095749},
    note = {working paper or preprint},
    year = {2025},
    month = {jun},
    keywords = {Automata-Based Method ; Formalization ; Theory-Building ; Stress Theory ; Compact-Automata ; Refinement ; Model Checking},
    pdf = {https://hal.science/hal-05095749v1/file/Paper_Transactional_JMP_Format_3%20%284%29.pdf},
    hal_id = {hal-05095749},
    hal_version = {v1},
    date-added = {2025-7-4 7:8:38 +0100}
}

@unpublished{finkel_hal-05095749, title = {{Bridging Psychology and Computation: Modular Formalization of Psychological Theories with Automata and Model Checking}}, author = {Finkel, Alain and Fougea, Gaspard and Le Roux, St{\'e}phane}, url = {https://hal.science/hal-05095749}, note = {working paper or preprint}, year = {2025}, month = {jun}, keywords = {Automata-Based Method ; Formalization ; Theory-Building ; Stress Theory ; Compact-Automata ; Refinement ; Model Checking}, pdf = {https://hal.science/hal-05095749v1/file/Paper_Transactional_JMP_Format_3%20%284%29.pdf}, hal_id = {hal-05095749}, hal_version = {v1}, date-added = {2025-7-4 7:8:38 +0100} }