-
University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models
-
students' historical reasoning in non-formal settings. Interactive Learning Environments Hageneuer, S. (2020). Communicating Past in the Digital Age. In Intern. Conf. on Digital Methods in Teaching and
-
Alpes, the program aims to formalize a new science of risk in order to contribute to the development of a national strategy for disaster and risk management in the context of global change. The PhD
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions