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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Picture for Laura Nenzi

Laura Nenzi

IMT Lucca, Italy

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

Add code


   Access Paper or Ask Questions

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

Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems


Jun 16, 2021
Sara Mohammadinejad, Jyotirmy V. Deshmukh, Laura Nenzi

Add code


   Access Paper or Ask Questions

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

A kernel function for Signal Temporal Logic formulae


Sep 11, 2020
Luca Bortolussi, Giuseppe Maria Gallo, Laura Nenzi

Add code

* 12 pages, 3 figures 

   Access Paper or Ask Questions

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

A Robust Genetic Algorithm for Learning Temporal Specifications from Data


Aug 01, 2018
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi

Add code

* 16 pages, 3 figure 

   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 Temporal Properties for Stochastic Models


Sep 03, 2013
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti

Add code

* EPTCS 125, 2013, pp. 3-19 
* In Proceedings HSB 2013, arXiv:1308.5724 

   Access Paper or Ask Questions

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