​
Login / Signup
Luca Arnaboldi
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 9
Top Topics
Neural Network
Vehicle Speed
Sound Theoretical
Evaluation Methodology
Top Venues
CoRR
FoMLAS@CAV
AI Ethics
ESORICS (3)
</>
Publications
</>
Matthew L. Daggitt
,
Wen Kokke
,
Robert Atkey
,
Natalia Slusarz
,
Luca Arnaboldi
,
Ekaterina Komendantskaya
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.
CoRR
(2024)
Roberto Metere
,
Ricardo M. Czekster
,
Luca Arnaboldi
Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems.
MECO
(2024)
Marco Casadio
,
Tanvi Dinkar
,
Ekaterina Komendantskaya
,
Luca Arnaboldi
,
Omri Isac
,
Matthew L. Daggitt
,
Guy Katz
,
Verena Rieser
,
Oliver Lemon
NLP Verification: Towards a General Methodology for Certifying Robustness.
CoRR
(2024)
Matthew L. Daggitt
,
Wen Kokke
,
Ekaterina Komendantskaya
,
Robert Atkey
,
Luca Arnaboldi
,
Natalia Slusarz
,
Marco Casadio
,
Ben Coke
,
Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle.
FoMLAS@CAV
(2023)
Marco Casadio
,
Luca Arnaboldi
,
Matthew L. Daggitt
,
Omri Isac
,
Tanvi Dinkar
,
Daniel Kienitz
,
Verena Rieser
,
Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
FoMLAS@CAV
(2023)
Artur Sokolovsky
,
Luca Arnaboldi
A generic methodology for the statistically uniform & comparable evaluation of Automated Trading Platform components.
Expert Syst. Appl.
223 (2023)
Marco Casadio
,
Luca Arnaboldi
,
Matthew L. Daggitt
,
Omri Isac
,
Tanvi Dinkar
,
Daniel Kienitz
,
Verena Rieser
,
Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification.
CoRR
(2023)
Ronny Bogani
,
Andreas Theodorou
,
Luca Arnaboldi
,
Robert H. Wortham
Garbage in, toxic data out: a proposal for ethical artificial intelligence sustainability impact statements.
AI Ethics
3 (4) (2023)
Luca Arnaboldi
,
David Aspinall
,
Christina Kolb
,
Sasa Radomirovic
Tactics for Account Access Graphs.
ESORICS (3)
(2023)