Neural Predictive Monitoring. / Bortolussi, Luca; Cairoli, Francesca; Paoletti, Nicola; Smolka, Scott A; Stoller, Scott D.

Runtime Verification. 2019.

Research output: Chapter in Book/Report/Conference proceedingChapter

Published

Documents

  • rv2019

    895 KB, PDF document

  • Luca Bortolussi
  • Francesca Cairoli
  • Nicola Paoletti
  • Scott A Smolka
  • Scott D Stoller
Original languageEnglish
Title of host publicationRuntime Verification
Publication statusPublished - 2019

ID: 34351880