All Stories

  1. Automatically learning properties from complex systems

    Article • ACM Transactions on Embedded Computing Systems, September 2023, ACM (Association for Computing Machinery)

    Eleonora Nesterini