Synthesis of Procedural Models for Deterministic Transition Systems.

Javier Segovia-Aguas, Jonathan Ferrer-Mestres, Sergio Jimnez Celorrio

Browse the full ECAI paper archive.