-
University explores synergies between nonlinear control theory and physics informed machine learning to provide formal guarantees on performance, safety, and robustness of robotic and learning-enabled systems
-
University explores synergies between nonlinear control theory and physics informed machine learning to provide formal guarantees on performance, safety, and robustness of robotic and learning-enabled systems
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions in Uk