thesis

Automata-Theoretic Techniques for Declarative Process Mining

This thesis investigates the use of finite-state automata for various process-related tasks. Automata are a possible choice for a …

Francesco Chiariello