@misc{indiciae240a7be1e389,
  title = {Synthesis of Procedural Models for Deterministic Transition Systems},
  author = {Javier Segovia-Aguas and Jonathan Ferrer-Mestres and Sergio Jiménez},
  year = {2023},
  url = {https://arxiv.org/abs/2307.14368},
  note = {Source identifier: 2307.14368}
}