Fondazione Bruno Kessler Discovering Temporal Logic Patterns as Binary Supervised Learning We use binary supervised learning for discovering process models as temporal logic patterns read more of Discovering Temporal Logic Patterns as Binary Supervised Learning