Graph explorer

Research map

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

Luca Laurenti
Map detail
Luca Laurenti13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLuca LaurentiALuca LaurentiResearcherStochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationWStochastic Analysis of ...preprint / 2015Synergistic Offline-Online Control Synthesis via Local Gaussian Process RegressionWSynergistic Offline-Onl...preprint / 2022Strategy Synthesis for Partially-known Switched Stochastic SystemsWStrategy Synthesis for ...preprint / 2022Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control SystemsWAbstracting the Samplin...preprint / 2021Bayesian Inference with Certifiable Adversarial RobustnessWBayesian Inference with...preprint / 2021Safety Guarantees for Planning Based on Iterative Gaussian ProcessesWSafety Guarantees for P...preprint / 2020Probabilistic Safety for Bayesian Neural NetworksWProbabilistic Safety fo...preprint / 2020Safety Verification of Unknown Dynamical Systems via Gaussian Process RegressionWSafety Verification of ...preprint / 2020Formal Control Synthesis for Stochastic Neural Network Dynamic ModelsWFormal Control Synthesi...preprint / 2022Safety Certification for Stochastic Systems via Neural Barrier FunctionsWSafety Certification fo...preprint / 2022Robustness of Bayesian Neural Networks to Gradient-Based AttacksWRobustness of Bayesian ...preprint / 2020Adversarial Robustness Guarantees for Classification with Gaussian ProcessesWAdversarial Robustness ...preprint / 2020
Person12 links

Luca Laurenti

Researcher