CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 67 di 67
Titolo Data di pubblicazione Autore(i) File
Formal verification of robotic surgery tasks by reachability analysis 1-gen-2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Parametric formal verification: the robotic paint spraying case study 1-gen-2017 Geretti, Luca; Muradore, Riccardo; Bresolin, Davide; Fiorini, Paolo; Villa, Tiziano
Formal verification of medical CPS: a laser incision case study 1-gen-2018 Geraldes, ANDRÉ AUGUSTO; Geretti, Luca; Bresolin, Davide; Muradore, Riccardo; Fiorini, Paolo; DE MATTOS, Leonardo Serra; Villa, Tiziano
Minimizing Deterministic Timed Finite State Machines 1-gen-2018 Bresolin, Davide; Tvardovskii, Alexander; Yevtushenko, Nina; Villa, T.; Gromov, Maxim
Rigorous continuous evolution of uncertain systems 1-gen-2019 Geretti, Luca; Zivanovic, Sanja; Collins, Pieter John; Bresolin, Davide; Villa, Tiziano
Automating Numerical Parameters Along the Evolution of a Nonlinear System 1-gen-2022 Geretti, L; Collins, P; Bresolin, D; Villa, T
A higher order method for input-affine uncertain systems 1-gen-2023 Zivanovic Gonzalez, Sanja; Geretti, Luca; Bresolin, Davide; Villa, Tiziano; Collins, Pieter
Mostrati risultati da 61 a 67 di 67
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile