-
-engineering-and-automation/nonlinear-systems-and-control ) at Aalto University explores synergies between nonlinear control theory and physics informed machine learning to provide formal guarantees
-
is to apply theories, models, and methods from psychology to improve Human-AI interaction. Your network and team The Aalto Engineering Psychology Group concentrates on research in human-AI interaction
Searches related to formal method
Enter an email to receive alerts for formal-method positions