Luca Arnaboldi
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 13 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| WIP: Blurred Lines -- A GDPR-Compliant Framework for Anonymising Automotive... | VehicleSec '25 | 2025-08-11 |
A framework called Blurred Lines processes vehicle camera feeds with five detectors (Haar/cascade, YOLO, a face-specific model, OCR for plates, and a… | ||
| Compiling higher-order specifications to SMT solvers: how to deal with rejection ... | CPP 2023 | 2023-01-16 |
Claims a verified pipeline that compiles higher-order Vehicle specifications to SMT while giving pinpointed rejections, implemented for Marabou-style backends… | ||
| Formalising Criminal Law in Catala | ProLaLa 2023 | 2023-01-15 |
Formalisation uses the Catala DSL to implement a DUI fine calculator for Florida law that inputs blood alcohol, prior DUI dates and damage and outputs min/max… | ||
| nothing matches | ||