• Sign in
  • Sign up
conf.researchr.org / Marcello Bersani
  • ICSE 2019 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • ICSE 2023 profile

Registered user since Fri 9 Nov 2018

Name:Marcello Bersani
Affiliation:Politecnico di Milano, Italy

Contributions

2023

FormaliSE

  • Author of Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning within the FormaliSE 2023-track

2021

FormaliSE

  • Author of Improved Bounded Model Checking of Timed Automata within the FormaliSE 2021-track

2019

FormaliSE

  • Committee Member in Program Committee within the FormaliSE 2019-track
Share
xWed 9 Jul 18:12
using conf.researchr.org (v1.69.1)
Support page
Sign Up