Formalization

Input: elicited SLEEC rules (templates / natural language)
Output: formal rules + constraints + analysis results
Goal: ensure the ruleset is consistent, actionable, and enforceable

Approach and artifacts for the Specification and Analysis of Ethical Requirements in Autonomous Systems using Abstract State Machines paper

(Source: P. Scandurra., M. De Sanctis, G. Filippone, P. Inverardi, R. Miran- dola, S. Pettinari. Specification and Analysis of Ethical Requirements in Autonomous Systems using Abstract State Machines. International Conference on Rigorous State Based Methods (ABZ). toappear, 2026)

Open Paper Code