Login / Signup
From LTL on Process Traces to Finite-state Automata.
Francesco Chiariello
Fabrizio Maria Maggi
Fabio Patrizi
Published in:
BPM (Demos / Resources Forum) (2023)
Keyphrases
</>
finite state automata
temporal logic
model checking
decision rules