Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

Barkallah, M. (Speaker), Jacquet, J. (Speaker), Linden, I. (Speaker)

Activity: Talk or presentation typesOral presentation

Period23 Oct 2018
Held atFaculty of Computer Science
Degree of RecognitionNational