Login / Signup
Luca Marinello
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Human Errors
Formal Verification
Interactive Tv
Top Venues
Softw. Syst. Model.
</>
Publications
</>
Livia Lestingi
,
Andrea Manglaviti
,
Davide Marinaro
,
Luca Marinello
,
Mehrnoosh Askarpour
,
Marcello M. Bersani
,
Matteo Rossi
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model.
23 (2) (2024)