MLCA: A Model-Learning-Checking Approach for IoT Systems.
Sébastien SalvaElliott BlotPublished in: ICSOFT (Selected Papers) (2020)
Keyphrases
- management system
- prior knowledge
- computational model
- high level
- learning scheme
- active learning
- probabilistic model
- theoretical framework
- mathematical model
- learning algorithm
- conceptual model
- learning mechanism
- information retrieval
- decision theoretic
- neural nets
- formal model
- experimental data
- computer systems
- knowledge acquisition
- distributed systems
- expert systems
- objective function
- feature selection