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

Runtime Verification. 2019. p. 129-147.

Research output: Chapter in Book/Report/Conference proceedingChapter

E-pub ahead of print

Documents

  • Luca Bortolussi
  • Francesca Cairoli
  • Nicola Paoletti
  • Scott A Smolka
  • Scott D Stoller
Original languageEnglish
Title of host publicationRuntime Verification
Pages129-147
Number of pages19
ISBN (Electronic)978-3-030-32079-9
DOIs
Publication statusE-pub ahead of print - 1 Oct 2019
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 34351880