( en | de | ru )

 

Disambiguierung von "Laurenti, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Probabilistic Reach-Avoid for Bayesian Neural Networks.

, , , , , und . CoRR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Giacomo Laurenti

Laurenti Kiszczuk

Doris Laurenti

Luca Tranchini

Luca Rizzini

 

Weitere Publikationen von Autoren mit dem selben Namen

Experimental Biological Protocols with Formal Semantics., , , , und . CoRR, (2017)Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control., , , , , und . ICRA, Seite 7344-7350. IEEE, (2020)Stochastic analysis of Chemical Reaction Networks using Linear Noise Approximation., , und . Biosyst., (2016)Gradient-Free Adversarial Attacks for Bayesian Neural Networks., , und . CoRR, (2020)Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes., , , , und . IEEE Trans. Autom. Control., 66 (1): 17-32 (2021)Certification of iterative predictions in Bayesian neural networks., , , , , und . UAI, Volume 161 von Proceedings of Machine Learning Research, Seite 1713-1723. AUAI Press, (2021)Robustness of Bayesian Neural Networks to Gradient-Based Attacks., , , , , und . NeurIPS, (2020)Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control., , , , , und . CoRR, (2019)Central Limit Model Checking., , , und . CoRR, (2018)Adversarial Robustness Guarantees for Gaussian Processes., , , , , und . J. Mach. Learn. Res., (2022)