FM 2026 (series) / ABZ /
Specification and Analysis of Ethical Requirements in Autonomous Systems using Abstract State Machines
Wed 20 May 2026 15:55 - 16:20 at 1F Room 101-103 - ABZ Session 5: Methods (2) Chair(s): Asieh Salehi Fathabadi
Wed 20 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 20 May
Displayed time zone: Osaka, Sapporo, Tokyo change
15:30 - 16:35 | ABZ Session 5: Methods (2)ABZ at 1F Room 101-103 Chair(s): Asieh Salehi Fathabadi University of Southampton | ||
15:30 25mTalk | Counterexample-Guided Interval Weakening ABZ Ben M. Andrew University of Manchester, Marie Farrell The University of Manchester, Louise Dennis University of Manchester, Michael Fisher University of Manchester, UK | ||
15:55 25mTalk | Specification and Analysis of Ethical Requirements in Autonomous Systems using Abstract State Machines ABZ Patrizia Scandurra University of Bergamo, Italy, Martina De Sanctis Gran Sasso Science Institute, Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Paola Inverardi Gran Sasso Science Institute, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Sara Pettinari Gran Sasso Science Institute | ||
16:20 15mTalk | Evaluating the Practical Impact of Parallelism in Asmeta ABZ Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Cesar Cornejo University of Bergamo, Angelo Gargantini University of Bergamo, Nico Pellegrinelli University of Bergamo | ||