TY  - RPRT
TI  - Search-based Trace Diagnostic for Cyber-Physical Systems
AU  - Ricardo Caldas
AU  - Gabriel Araujo
AU  - Federico Formica
AU  - Genaína Rodrigues
AU  - Patrizio Pelliccione
AU  - Claudio Menghi
PY  - 2026
UR  - https://arxiv.org/abs/2406.17268
ID  - 2406.17268
ER  -