Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Laura Nenzi
Map detail
Laura Nenzi6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLaura NenziALaura NenziResearcherA kernel function for Signal Temporal Logic formulaeWA kernel function for S...preprint / 2020On the Robustness of Temporal Properties for Stochastic ModelsWOn the Robustness of Te...preprint / 2013A temporal logic approach to modular design of synthetic biological circuitsWA temporal logic approa...preprint / 2013The worldwide impact of Donati's comet on art and society in the mid-19th centuryWThe worldwide impact of...preprint / 2012Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic ProcessesWLearning Model Checking...preprint / 2022
Person5 links

Laura Nenzi

Researcher