@misc{17818,
  author = {Shaukat Ali and Mahsa Varshosaz},
  title = {Testing Cyber-Physical Systems: Synergizing Model and AI-based Approaches},
  year = {2023},
  journal = {20th International Colloquium on Theoretical Aspects of Computing},
}