Author/Creator: Geretti, Luca - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Geretti, Luca

1. A higher order method for input-affine uncertain systems. (February 2023)

Authors:: Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter
Journal:: Nonlinear analysis
Issue:: Volume 47(2023)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Assume–guarantee verification of nonlinear hybrid systems with Ariadne. (11th October 2012)

Authors:: Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano
Journal:: International journal of robust and nonlinear control
Issue:: Volume 24:Number 4(2014)
Page Start:: 699
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Parametric formal verification: the robotic paint spraying case study. Issue 1 (July 2017)

Authors:: Geretti, Luca; Muradore, Riccardo; Bresolin, Davide; Fiorini, Paolo; Villa, Tiziano
Journal:: IFAC-PapersOnLine
Issue:: Volume 50:Issue 1(2017)
Page Start:: 9248
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗