-
be funded within the project titled ”A Probabilistic Inverse Model for Identifying the Source of Atmospheric Contamination on a Continental Scale” funding under the prestigious SONATA 20 competition
-
learning techniques (e.g., JRODOS-MATCH, surrogate models based on Neural Networks), and Kubernetes architecture for distributed computing. The method will be validated with real event data and will provide
Searches related to model checking
Enter an email to receive alerts for model-checking positions