@misc{indiciae929b7ffcb4c6,
  title = {Search-based Trace Diagnostic for Cyber-Physical Systems},
  author = {Ricardo Caldas and Gabriel Araujo and Federico Formica and Genaína Rodrigues and Patrizio Pelliccione and Claudio Menghi},
  year = {2026},
  url = {https://arxiv.org/abs/2406.17268},
  note = {Source identifier: 2406.17268}
}