Steinmetz, M.; Fiser, D.; Eniser, H. F.; Ferber, P.; Gros, T. P.; Heim, P.; Höller, D.; Schuler, X.; Wüstholz, V.; Christakis, M. et al.; Hoffmann, J.: Debugging a Policy: Automatic Action-Policy Testing in AI Planning. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, pp. 353 - 361 (Eds. Kumar, A.; Thiébaux, S.; Varakantham, P.; Yeoh, W.). Proceedings of the 32nd International Conference on Automated Planning and Scheduling , Singapore (Virtually), June 13, 2022 - June 24, 2022. AAAI Press, Palo Alto, CA (2022)

Struppek, L.; Hintersdorf, D.; Neider, D.; Kersting, K.: Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. In: FAccT 2022, pp. 58 - 69. 5th ACM Conference on Fairness, Accountability, and Transparency, Seoul, South Korea , June 21, 2022 - June 24, 2022. ACM, New York, NY (2022)

Toneva, M.; Williams, J.; Bollu, A.; Dann, C.; Wehbe, L.: Same Cause; Different Effects in the Brain. In: Proceedings of the First Conference on Causal Learning and Reasoning, pp. 787 - 825 (Eds. Schölkopf, B.; Uhler, C.; Zhang, K.). First Conference on Causal Learning and Reasoning, Eureka, CA, USA, April 11, 2022 - April 13, 2022. MLR Press (2022)

Triantafyllou, S.; Singla, A.; Radanovic, G.: Actual Causality and Responsibility Attribution in Decentralized Partially Observable Markov Decision Processes. In: AIES '22, pp. 739 - 752 (Eds. Conitzer, V.; Tasioulas, J.; Scheutz, M.; Calo, R.; Mara, M. et al.). AAAI/ACM Conference on AI, Ethics, and Society, Oxford, UK, August 01, 2022 - August 03, 2022. ACM, New York, NY (2022)

Tschiatschek, S.; Knobelsdorf, M.; Singla, A.: Equity and Fairness of Bayesian Knowledge Tracing. In: Proceedings of the 15th International Conference on Educational Data Mining, pp. 578 - 582 (Eds. Mitrovic, A.; Bosch, N.). 15th International Conference on Educational Data Mining, Durham, UK, July 24, 2022 - July 27, 2022. International Educational Data Mining Society (2022)

Wang, L.; Joachims, T.; Gomez Rodriguez, M.: Improving Screening Processes via Calibrated Subset Selection. In: Proceedings of the 39th International Conference on Machine Learning, pp. 22702 - 22726 (Eds. Chaudhuri, K.; Jegelka, S.; Le, S.; Csaba, S.; Gang, N. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, July 17, 2022 - July 23, 2022. (2022)

Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R.; Wüstholz, V.; Gurfinkel, A.: Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In: Verification, Model Checking, and Abstract Interpretation, pp. 425 - 449 (Eds. Finkbeiner, B.; Wies, T.). 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, PA, USA, January 16, 2022 - January 18, 2022. Springer, Berlin (2022)

Xie, X.; Kersting, K.; Neider, D.: Neuro-Symbolic Verification of Deep Neural Networks. In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, pp. 3622 - 3628 (Ed. de Raedt, L.). Thirty-First International Joint Conference on Artificial Intelligence, Vienna, Austria, July 23, 2022 - July 29, 2022. IJCAI (2022)

33rd Euromicro Conference on Real-Time Systems. In: 33nd Euromicro Conference on Real-Time Systems, pp. 1 - 12. 33nd Euromicro Conference on Real-Time Systems, Virtual Conference, July 07, 2020 - July 10, 2020. Schloss Dagstuhl, Wadern (2021)

Abbasi, R.; Schiffl, J.; Darulova, E.; Ulbrich, M.; Ahrendt, W.: Deductive Verification of Floating-Point Java Programs in KeY. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 242 - 261 (Eds. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)

Abdulla, P. A.; Atig, M. F.; Godbole, A.; Krishna, S. N.; Vafeiadis, V.: The Decidability of Verification under PS 2.0. In: Programming Languages and Systems, pp. 1 - 29 (Ed. Yoshida, N.). 24th European Joint Conferences on Theory and Practice of Software, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)

Akgul, O.; Abu-Salma, R.; Bai, W.; Redmiles, E. M.; Mazurek, M. L.; Ur, B.: From Secure to Military-Grade: Exploring the Effect of App Descriptions on User Perceptions of Secure Messaging. In: WPES '21, pp. 119 - 135 (Ed. Livraga, G.). 20th Workshop on Workshop on Privacy in the Electronic Society, Virtual Event, Republic of Korea, November 15, 2021. ACM, New York, NY (2021)

Ali, J.; Lahoti, P.; Gummadi, K. P.: Accounting for Model Uncertainty in Algorithmic Discrimination. In: AIES '21, pp. 336 - 345 (Eds. Fourcade, M.; Kuipers, B.; Lazar, S.; Mulligan, D.). Fourth AAAI/ACM Conference on Artificial Intelligence, Ethics and Society, Virtual Conference, May 19, 2021 - May 21, 2021. ACM, New York, NY (2021)

Anand, V.; De Viti, R.; Mace, J.: Systems Trivia Night. In: HotOS XVIII, p. 239 - 239. Workshop on Hot Topics in Operating Systems, Ann Arbor, MI, USA (Virtual Conference), June 01, 2021 - June 03, 2021. ACM, New York, NY (2021)

Baharisangari, N.; Gaglione, J.-R.; Neider, D.; Topcu, U.; Xu, Z.: Uncertainty-Aware Signal Temporal Logic Inference. In: Software Verification, pp. 61 - 85 (Eds. Bloem, R.; Dimitrova, R.; Fan, C.; Sharygina, N.). 13th Working Conference on Verified Software: Theories, Tools, and Experiment, New Haven, CT, USA (Virtual), October 18, 2021 - October 19, 2021. Springer, Berlin (2021)

Baier, C.; Christakis, M.; Gros, T. P.; Groß, D.; Gumhold, S.; Hermanns, H.; Hoffmann, J.; Klauck, M.: Lab Conditions for Research on Explainable Automated Decisions. In: Trustworthy AI -- Integrating Learning, Optimization and Reasoning, pp. 83 - 90 (Eds. Heintz, F.; Milano, M.; O'Sullivan, M.). 1st TAILOR Workshop, Virtual Event, September 04, 2020 - September 05, 2020. Springer, Berlin (2021)

Baier, C.; Dubslaff, C.; Funke, F.; Jantsch, S.; Majumdar, R.; Piribauer, J.; Ziemek, R.: From Verification to Causality-Based Explications (Invited Talk). In: 48th International Colloquium on Automata, Languages, and Programming, 1, pp. 1 - 20 (Eds. Bansal, N.; Merelli, E.; Worrell, J.). 48th International Colloquium on Automata, Languages, and Programming, Glasgow, UK (Virtual Conference), July 12, 2021 - July 16, 2020. Schloss Dagstuhl, Wadern (2021)

Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Luca, F.; Ouaknine, J.; Purser, D.; Whiteland, M.; Worrell, J.: The Orbit Problem for Parametric Linear Dynamical Systems. In: 32nd International Conference on Concurrency Theory, 28, pp. 1 - 17 (Eds. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, August 24, 2021 - August 27, 2021. Schloss Dagstuhl, Wadern (2021)

Baier, C.; Funke, F.; Majumdar, R.: Responsibility Attribution in Parameterized Markovian Models. In: AAAI Technical Track on Planning, Routing, and Scheduling, pp. 11734 - 11743. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, February 02, 2021 - February 09, 2021. AAAI, Palo Alto, CA (2021)

Baier, C.; Funke, F.; Majumdar, R.: A Game-Theoretic Account of Responsibility Allocation. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, pp. 1773 - 1779 (Ed. Zhou, Z.-H.). Thirtieth International Joint Conference on Artificial Intelligence, Montreal, Canada, August 19, 2021 - August 27, 2021. IJCAI (2021)