research
∙
04/18/2023
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Context: Ensuring safety for any sophisticated system is getting more co...
research
∙
01/09/2022
A systematic literature review on counterexample explanation
Context: Safety is of paramount importance for cyber-physical systems in...
research
∙
08/13/2021