Synthesis of Procedural Models for Deterministic Transition Systems.

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

Published in: ECAI (2023)

Keyphrases

temporal logic
process model
dynamical systems