Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes


Nov 04, 2022
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

On the Robustness of Bayesian Neural Networks to Adversarial Attacks


Jul 13, 2022
Luca Bortolussi, Ginevra Carbone, Luca Laurenti, Andrea Patane, Guido Sanguinetti, Matthew Wicker

* arXiv admin note: text overlap with arXiv:2002.04359 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Stochastic Variational Smoothed Model Checking


May 11, 2022
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Graph Neural Networks for Propositional Model Counting


May 09, 2022
Gaia Saveri, Luca Bortolussi


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes


Jan 24, 2022
Luca Bortolussi, Giuseppe Maria Gallo, Jan Křetínský, Laura Nenzi


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Neural Predictive Monitoring under Partial Observability


Aug 17, 2021
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Neural Predictive Monitoring under Partial Observabilit


Aug 16, 2021
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Abstraction of Markov Population Dynamics via Generative Adversarial Nets


Jun 24, 2021
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models


May 03, 2021
Michael Backenköhler, Luca Bortolussi, Gerrit Großmann, Verena Wolf

* arXiv admin note: text overlap with arXiv:2010.10096 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Resilience of Bayesian Layer-Wise Explanations under Adversarial Attacks


Feb 22, 2021
Ginevra Carbone, Guido Sanguinetti, Luca Bortolussi


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>