( en | de | ru )

 

Disambiguation of "Geretti, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne.

, , , , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 313-319. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luca Tranchini

Luca Rizzini

Luca Criscuolo

Luca Haiberger

Luca Redaelli

 

Other publications of authors with the same name

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus., , , and . ADHS, volume 45 of IFAC Proceedings Volumes, page 284-290. Elsevier, (2012)Special issue: Formal verification of cyber-physical systems., , , and . Inf. Comput., 289 (Part): 104979 (2022)Automating Numerical Parameters Along the Evolution of a Nonlinear System., , , and . RV, volume 13498 of Lecture Notes in Computer Science, page 336-345. Springer, (2022)A service-oriented gateway for remote monitoring of building sensor networks., , , and . CAMAD, page 139-143. IEEE, (2013)Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis., , , , , and . RP, volume 7550 of Lecture Notes in Computer Science, page 79-91. Springer, (2012)Rigorous Function Calculi in Ariadne., , , , and . CoRR, (2023)Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne., , , , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 313-319. Springer, (2017)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and . ARCH@CPSIoTWeek, volume 61 of EPiC Series in Computing, page 41-61. EasyChair, (2019)Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne., , and . OVERLAY@AI*IA, volume 2509 of CEUR Workshop Proceedings, page 29-34. CEUR-WS.org, (2019)A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services., , , and . IEEE Trans. Mob. Comput., 7 (11): 1325-1337 (2008)