Maximilian A. Köhl is an author at RWTH Aachen University specializing in formal methods, explainable ai, and software design.
Top concepts
EngineeringExplainable AiFormal MethodsSoftware DesignComputer ScienceInterpretabilityProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2019–2019
2
2
Explainability as a Non-Functional Requirement
Maximilian A. Köhl, Kevin Baum, Markus Langer et al. · 2019 · 104 citations
Rows per page
1–2 of 2