Sort by
Refine Your Search
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions