The page you are requesting does not exist. You can start your search here!
Sort by
Refine Your Search
-
Machines” in which we aim to develop methods for real-time control of magnetic fields in power and distribution transformers and rotating electrical machines. The goal is to bring new functionalities in
-
and control and software development. All topics have a heavy focus on AI-based methods (e.g., machine or deep learning) and their real-time execution on real robot systems. Research takes inspiration
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions