-
or runtime verification techniques for continuous dynamics and hybrid systems; Development of formal verification techniques and their integration in model-based design environments; Model checking of embedded
-
processes, multimodal data fusion, physics–ML hybrid modelling (from CFD to atomistic simulations), and AI-assisted hypothesis formulation. MSCA Doctoral Candidate eligibility criteria Applicants must comply
Searches related to model checking
Enter an email to receive alerts for model-checking positions