-
assistants to support full human operator control under risk and model uncertainty and considering human-AI co-learning. 2) Validate the developed methodologies on real data and open-source simulators
Searches related to model checking
Enter an email to receive alerts for model-checking positions