Synthesis of Procedural Models for Deterministic Transition Systems

Javier Segovia-Aguas, Jonathan Ferrer-Mestres, Sergio Jiménez

This paper introduces a general approach for synthesizing procedural models of the state-transitions of a given discrete system. The approach is general in that it accepts differen…