Sort by
Refine Your Search
-
discrete-event systems, supervisory control theory, and formal methods to apply for the PhD position within the Supervisory Control group (see Group Supervisory Control ), which is part of the Control
-
control synthesis methods. We invite highly motivated students with a strong background in discrete-event systems, supervisory control theory, and formal methods to apply for the PhD position within
-
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