Sara Pettinari - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Fri 10 Oct 2025

Name:Sara Pettinari

Country:Italy

Affiliation:Gran Sasso Science Institute

Personal website: https://sarapettinari.github.io/

Contributions

2026

FM

Specification and Analysis of Ethical Requirements in Autonomous Systems using Abstract State Machines

Show activities from other conferences

FM 2026-profile
View general profile