An extension of the inverse method to probabilistic timed automata.
Étienne AndréLaurent FribourgJeremy SprostonPublished in: Formal Methods Syst. Des. (2013)
Keyphrases
- significant improvement
- segmentation method
- detection method
- cost function
- synthetic data
- support vector
- optimization algorithm
- probabilistic model
- real time
- high accuracy
- support vector machine svm
- support vector machine
- classification method
- computationally efficient
- em algorithm
- color images
- preprocessing
- image segmentation
- genetic algorithm
- machine learning