Antonio Cerone, Olzhas Zhalgendinov. Using Maude to Model Motivation in Human Behaviour. In Alessandro Aldini, editor, Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers. Volume 14568 of Lecture Notes in Computer Science, pages 72-89, Springer, 2023. [doi]
Abstract is missing.