External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bayesian Neural Predictive Monitoring

Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller. Bayesian Neural Predictive Monitoring. In Riccardo De Benedictis, Luca Geretti, Andrea Micheli, editors, Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020. Volume 2785 of CEUR Workshop Proceedings, pages 95-100, CEUR-WS.org, 2020. [doi]

Authors

Luca Bortolussi

This author has not been identified. Look up 'Luca Bortolussi' in Google

Francesca Cairoli

This author has not been identified. Look up 'Francesca Cairoli' in Google

Nicola Paoletti

This author has not been identified. Look up 'Nicola Paoletti' in Google

Scott A. Smolka

This author has not been identified. Look up 'Scott A. Smolka' in Google

Scott D. Stoller

This author has not been identified. Look up 'Scott D. Stoller' in Google
runs on