Sort by
Refine Your Search
-
research interests encompass a broad range of topics, including discrete mathematics, finite model theory, and the complexity of logical systems, as well as the foundations of AI, explainability, and answer
Searches related to model checking
Enter an email to receive alerts for model-checking positions