Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
https://drops.dagstuhl.de/opus/volltexte/2021/14070/ (Publisher version)
https://creativecommons.org/licenses/by/4.0/legalcode (Copyright transfer agreement)
LIPIcs-ICALP-2021-1.pdf (Publisher version), 712KB
Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Majumdar, R., Piribauer, J., et al. (2021). From Verification to Causality-Based Explications (Invited Talk). In N. Bansal, E. Merelli, & J. Worrell (Eds.), 48th International Colloquium on Automata, Languages, and Programming (pp. 1-20). Wadern: Schloss Dagstuhl. doi:10.4230/LIPIcs.ICALP.2021.1.