Julian Siber

International Symposium on Automated Technology for Verification and Analysis (ATVA) Checking and Sketching Causes on Temporal Sequences

International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR) Counterfactuals Modulo Temporal Logics

Lecture Notes in Computer Science

Lecture Notes in Computer Science

Computer Aided Verification (CAV)