IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
Étienne AndréPublished in: INFINITY (2010)
Keyphrases
- timed automata
- model checking
- maximum likelihood
- reachability analysis
- theorem proving
- parameter values
- sensitivity analysis
- parameter estimation
- parameter space
- learning algorithm
- software tools
- input parameters
- np hard
- software development
- bayesian networks
- website
- user friendly
- search engine
- machine learning
- fine tuning
- data mining
- real time