@misc{indiciae5eed94a59107,
  title = {Temporal Property-driven Design Space Exploration with Reinforcement Learning for Cyber-Physical Systems},
  author = {Tagir Fabarisov and Maxime Cordy},
  year = {2026},
  url = {https://arxiv.org/abs/2608.23440},
  note = {Source identifier: 2608.23440}
}