arrow
Back
C

Carmelo Di Franco

University of Virginia

13H-index
29Paper Count
1.1KCitation Count
Published Papers 4
Publication Date
A Novel Approach for Reducing Train Localization Errors by Inertial Measurements
err2023-01-01
err1
errOAAI
errMarinoni, Mauro; Amato, Pierluigi; Di Franco, Carmelo; Sabina, Salvatore; Buttazzo, Giorgio
errShare
errSave
Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations
err2020-06-01
err7
errOAAI
errYel, Esen; Carpenter, Taylor J.; Di Franco, Carmelo; Ivanov, Radoslav; Kantaros, Yiannis; Lee, Insup; Weimer, James; Bezzo, Nicola
errShare
errSave
Integrated Framework for Fast Prototyping and Testing of Autonomous Systems
err2018-12-18
err4
PREAI
errPannocchi, Luigi; Di Franco, Carmelo; Marinoni, Mauro; Buttazzo, Giorgio
errShare
errSave