Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 34
Titolo Data di pubblicazione Autore(i) File
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 1-gen-2007 Abramo, Antonio; Blanchini, Franco; Geretti, Luca; Savorgnan, Carlo
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 1-gen-2008 Geretti, Luca; Abramo, Antonio
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 1-gen-2008 Abramo, A.; Blanchini, F.; Geretti, Luca; Savorgnan, C.
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 1-gen-2010 Geretti, Luca; Abramo, Antonio
Correct-by-construction code generation from hybrid automata specification 1-gen-2011 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Villa, Tiziano
Robotic surgery 1-gen-2011 Muradore, Riccardo; Bresolin, Davide; Geretti, Luca; Fiorini, Paolo; Villa, Tiziano
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 1-gen-2011 Geretti, Luca; Abramo, Antonio
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 1-gen-2012 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
Computing the evolution of hybrid systems using rigorous function calculus 1-gen-2012 Collins, P.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Open Problems in Verification and Refinement of Autonomous Robotic Systems 1-gen-2012 Bresolin, Davide; DI GUGLIELMO, Luigi; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
A service-oriented gateway for remote monitoring of building sensor networks 1-gen-2013 Guerrieri, Antonio; Geretti, Luca; Fortino, Giancarlo; Abramo, Antonio
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 1-gen-2014 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 1-gen-2014 L., Benvenuti; Bresolin, Davide; P., Collins; A., Ferrari; Geretti, Luca; Villa, Tiziano
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 1-gen-2015 Nuzzo, P.; Sangiovanni Vincentelli, A.; Bresolin, Davide; Geretti, Luca; Villa, Tiziano
Formal Verification Applied to Robotic Surgery 1-gen-2015 Bresolin, Davide; Geretti, Luca; Muradore, Riccardo; Fiorini, Paolo; Villa, Tiziano
An Introduction to the Verification of Hybrid Systems using Ariadne 1-gen-2015 Bresolin, Davide; Geretti, Luca; Villa, Tiziano; P., Collins
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
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 1-gen-2017 Geretti, Luca; Bresolin, Davide; Collins, Pieter; Zivanovic Gonzalez, Sanja; 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
Mostrati risultati da 1 a 20 di 34
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