An Extension of the Inverse Method to Probabilistic Timed Automata.
Étienne AndréLaurent FribourgJeremy SprostonPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
- detection method
- pairwise
- high precision
- experimental evaluation
- classification method
- synthetic data
- computational complexity
- preprocessing
- computational cost
- probabilistic model
- model checking
- em algorithm
- segmentation method
- timed automata
- data sets
- clustering method
- computationally efficient
- high accuracy
- prior knowledge
- similarity measure