Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes.
Fawad Ali MangiGuoxin SuMinjie ZhangPublished in: Future Internet (2023)
Keyphrases
- model checking
- stochastic processes
- process mining
- temporal logic
- process model
- event logs
- random fields
- model checker
- business process
- probability distribution
- finite state
- symbolic model checking
- automated verification
- temporal properties
- formal specification
- formal verification
- business processes
- bounded model checking
- random variables
- formal methods
- computation tree logic
- formal concept analysis
- epistemic logic
- verification method
- dynamic bayesian networks
- machine learning
- transition systems
- markov random field
- expert systems