-
. Kyriakopoulos seeks to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions