Christel Baier, Clemens Dubslaff, Florian Funke 0002, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek. From Verification to Causality-Based Explications (Invited Talk). In Nikhil Bansal, Emanuela Merelli, James Worrell 0001, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). Volume 198 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.