Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin. Change-based causes in counterexample explanation for model checking. In IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society, Toronto, ON, Canada, October 13-16, 2021. pages 1-6, IEEE, 2021. [doi]
Abstract is missing.