Verification of a Timed Multitask System With Uppaal.
Houda Bel MokademBéatrice BérardV. GourcuffO. De SmetJ. RousselPublished in: IEEE Trans Autom. Sci. Eng. (2010)
Keyphrases
- multi task
- timed automata
- model checking
- model checker
- multitask learning
- multi task learning
- formal verification
- learning tasks
- temporal logic
- multi class
- multiple tasks
- gaussian processes
- learning problems
- formal methods
- transfer learning
- feature selection
- multiclass support vector machines
- binary classification problems
- maximum margin
- theorem prover
- petri net
- machine learning
- machine learning algorithms