systems. Potential specific research foci include formal verification, safe autonomy and AI, control theory, and model... checking. We encourage applications from across the areas of cyber physical systems, verification and learning. The research...
University of Birminghamsystems. Potential specific research foci include formal verification, safe autonomy and AI, control theory, and model... checking. We encourage applications from across the areas of cyber physical systems, verification and learning. The research...
University of Birmingham