Discretization of Timed Automata in Timed mu.
Jan Friso GrooteMichel A. ReniersYaroslav S. UsenkoPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- first order logic
- iterative refinement
- preprocessing
- temporal logic
- discretization method
- development environment
- real time systems
- finite state machines
- real time
- continuous attributes
- machine learning
- continuous variables
- database
- naive bayes classifier
- data mining
- data preprocessing
- distributed systems
- bayesian networks
- computer vision
- discretization methods
- data sets
- social networks