-
Artificial Intelligence to improve on the current state-of-the-art in articifial models of social cognition and emotion recognition. In Neurosymbolic AI, logic and symbolic AI methods are used to improve
Searches related to model checking
Enter an email to receive alerts for model-checking positions