Formal methods in artificial intelligence — Jean-Paul Delahaye · Novirae