Luca Geretti

Available identifiers

zbMath Open geretti.lucaWikidataQ57511535 ScholiaQ57511535MaRDI QIDQ2677087

List of research outcomes

Publication	Date of Publication	Type
A higher order method for input-affine uncertain systems	2023-01-13	Paper
A computable and compositional semantics for hybrid automata	2021-01-25	Paper
An Introduction to the Verification of Hybrid Systems Using Ariadne	2018-12-12	Paper
Formal Verification Applied to Robotic Surgery	2018-12-12	Paper
Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp>	2014-04-08	Paper
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis	2013-01-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca Geretti