Sort by
Refine Your Search
-
-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
-
advanced methods for controlling wetting and nucleation, combining cutting-edge surface engineering with high-resolution experimental techniques. Potential applications span from energy-efficient heat
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions