Synthesis of Procedural Models for Deterministic Transition Systems. Javier Segovia-Aguas, J. F. & Jiménez, S. In ECAI, 2023.
Synthesis of Procedural Models for Deterministic Transition Systems [link]Code  Synthesis of Procedural Models for Deterministic Transition Systems [pdf]Paper  bibtex   

Downloads: 0