Formal Methods Boost Experimental Performance for Explainable AI.

Frederik Gossen Tiziana Margaria Bernhard Steffen

Published in: IT Prof. (2021)

Keyphrases

formal methods
artificial intelligence
machine learning
knowledge based systems
multi agent
formal specification
case study
software engineering
safety critical
temporal properties
process algebra