Login / Signup
Measuring the interestingness of temporal logic behavioral specifications in process mining.
Alessio Cecconi
Giuseppe De Giacomo
Claudio Di Ciccio
Fabrizio Maria Maggi
Jan Mendling
Published in:
Inf. Syst. (2022)
Keyphrases
</>
temporal logic
process mining
concurrent systems
transition systems
model checking
process model
model checker
bounded model checking
reactive systems
event logs
formal specification language
business process
business processes
formal specification
control flow
modal logic
computation tree logic
satisfiability problem
verification method
clinical pathway
formal concept analysis
association rules
linear temporal logic
mazurkiewicz traces
belief revision
classification rules
automata theoretic
specification language
epistemic logic
temporal knowledge
formal verification
artificial intelligence
formal methods
pattern discovery
decision trees
knowledge base
web pages