-
systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine Robotics is our current emphasis, without excluding
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions