-
integration of model checking and synthesis with machine learning will provide the key to innovative, highly scalable methods for learning, analysis, synthesis and optimization of cyber-physical systems. Based
-
proficiency in relevant programming languages (e.g., Python, C++) and tools such as ROS. Experience in simulation and digital twins, as well as the use of synthetic data for training machine learning models, is
Searches related to machine learning modeling
Enter an email to receive alerts for machine-learning-modeling positions