( en | de | ru )

 

Disambiguation of "Geretti, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.

, , , , , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 49-75. EasyChair, (2020)

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 Rizzini

Luca Tranchini

Luca Tuninetti

Alfonz Luca

Luca Haiberger

 

Other publications of authors with the same name

Formal verification of robotic surgery tasks by reachability analysis., , , , and . Microprocess. Microsystems, 39 (8): 836-842 (2015)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , and 3 other author(s). ARCH@ADHS, volume 80 of EPiC Series in Computing, page 32-54. EasyChair, (2021)Open Problems in Verification and Refinement of Autonomous Robotic Systems., , , , , and . DSD, page 469-476. IEEE Computer Society, (2012)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)Discrete Search in Heterogeneous Integer Spaces for Automated Choice of Parameters using Correct-by-Construction Methods., , and . CoRR, (2023)Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services., , , and . ACC, page 3967-3972. IEEE, (2007)Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools., , , , and . DSD, page 659-662. IEEE Computer Society, (2014)