Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
. Researchers at Integreat develop theories, methods, models, and algorithms that integrate general and domain-specific knowledge with data. By combining the mathematical and computational cultures, and the
-
placed at Integreat - Norwegian Centre for Knowledge-driven Machine Learning is a Centre of Excellence, funded by the Research Council of Norway. Researchers at Integreat develop theories, methods, models
Searches related to model checking
Enter an email to receive alerts for model-checking positions