Sort by
Refine Your Search
-
methods to improve the deployment, adaptation capabilities and safety of robots and critical infrastructures. The developed algorithms will be evaluated on legged robots, wheel-based robots and under
-
algorithms. The research focuses on wind energy applications, creating a compelling sustainability narrative: developing more efficient computational methods to optimize wind farm performance, which in turn
-
methods and analytical tools in Africa and Asia. Our protocols and software will be available to the community to allow wider testing and sustained implementation. A critical part of WaSPP research agenda
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions