Sort by
Refine Your Search
-
developing synthesis and verification techniques based on, e.g., model checking combined with machine learning, to facilitate guaranteeing safety and security of industrial autonomous systems. The employment
Searches related to model checking
Enter an email to receive alerts for model-checking positions