Verification Staircase: a Design Strategy for Actionable Explanations.

Martin Lindvall Jesper Molin

Published in: ExSS-ATEC@IUI (2020)

Keyphrases

knowledge based systems
engineering design
functional verification
user interface
design process
design decisions
data sets
artificial intelligence
decision trees
expert systems
model checking
design principles
formal methods