( en | de | ru )

 

Disambiguierung von "Geretti, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Higher Order Method for Differential Inclusions.

, , , , und . CoRR, (2020)

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.

Luca Rizzini

Luca Tranchini

Luca Haiberger

Luca Redaelli

Luca Criscuolo

 

Weitere Publikationen von Autoren mit dem selben Namen

Computing the Evolution of Hybrid Systems using Rigorous Function Calculus., , , und . ADHS, Volume 45 von IFAC Proceedings Volumes, Seite 284-290. Elsevier, (2012)Special issue: Formal verification of cyber-physical systems., , , und . Inf. Comput., 289 (Part): 104979 (2022)Automating Numerical Parameters Along the Evolution of a Nonlinear System., , , und . RV, Volume 13498 von Lecture Notes in Computer Science, Seite 336-345. Springer, (2022)A service-oriented gateway for remote monitoring of building sensor networks., , , und . CAMAD, Seite 139-143. IEEE, (2013)Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis., , , , , und . RP, Volume 7550 von Lecture Notes in Computer Science, Seite 79-91. Springer, (2012)Rigorous Function Calculi in Ariadne., , , , und . CoRR, (2023)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 41-61. EasyChair, (2019)Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne., , und . OVERLAY@AI*IA, Volume 2509 von CEUR Workshop Proceedings, Seite 29-34. CEUR-WS.org, (2019)Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne., , , , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 313-319. Springer, (2017)Correct-by-construction code generation from hybrid automata specification., , , und . IWCMC, Seite 1660-1665. IEEE, (2011)