Nika, A.; Singla, A.; Radanovic, G.: Online Defense Strategies for Reinforcement Learning Against Adaptive Reward Poisoning. In: Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, S. 335 - 358 (Hg. Ruiz, F.; Dy, J.; van de Meent, J.-W.). 26th International Conference on Artificial Intelligence and Statistics, Valencia, Spain, 25. April 2023 - 27. April 2023. PMRL (2023)

Okati, N.; Tsirtsis, S.; Gomez Rodriguez, M.: On the Within-Group Fairness of Screening Classifiers. In: Proceedings of the 40th International Conference on Machine Learning, S. 26495 - 26516 (Hg. Krause, A.; Brunskill, E.; Cho, K.; Engelhardt, B.; Sabato, S. et al.). 40th International Conference on Machine Learning, Honolulu, Hawaii, USA, 23. Juli 2023 - 29. Juli 2023. (2023)

Oota, S.; Gupta, M.; Toneva, M.: Joint Processing of Linguistic Properties in Brains and Language Models. In: Advances in Neural Information Processing Systems 36, S. 18001 - 18014 (Hg. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, 10. Dezember 2023 - 16. Dezember 2023. Curran Associates, Inc (2023)

Ounjai, J.; Wüstholz, V.; Christakis, M.: Green Fuzzer Benchmarking. In: ISSTA '23, S. 1396 - 1406 (Hg. Just, R.; Fraser, G.). 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, WA, USA, 17. Juli 2023 - 21. Juli 2023. ACM, New York, NY (2023)

Paliwal, Y.; Roy, R.; Gaglione, J.-R.; Baharisangari, N.; Neider, D.; Duan, X.; Topcu, U.; Xu, Z.: Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. In: Machine Learning and Knowledge Extraction, S. 123 - 140 (Hg. Holzinger, A.; Kieseberg, P.; Cabitza, F.; Campagner, A.; Tjoa, A. M. et al.). International Cross-Domain Conference for Machine Learning & Knowledge Extraction , Benevento, Italy, 29. August 2023 - 01. September 2023. Springer, Berlin (2023)

Phung, T.; Pădurean, V.-A.; Cambronero, J.; Gulwani, S.; Kohn, T.; Majumdar, R.; Singla, A.; Soares,, G.: Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors. In: ICER '23, S. 41 - 42 (Hg. Fisler, K.; Denny, P.; Franklin, D.). ACM Conference on International Computing Education Research, Chicago, IL, USA, 07. August 2023 - 11. August 2023. ACM, New York, NY (2023)

Roy, R.; Gaglione, J.-R.; Baharisangari, N.; Neider, D.; Xu, Z.; Topcu, U.: Do Invariances in Deep Neural Networks Align with Human Perception? In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, S. 6507 - 6515. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, 07. Februar 2023 - 14. Februar 2023. AAAI, Palo Alto, CA (2023)

Sağlam, I.; Schmuck, A.-K.: Solving Odd-Fair Parity Games. In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 34, S. 1 - 24 (Hg. Bouyer, P.; Srinivasan, S.). 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18. Dezember 2023 - 20. Dezember 2023. Schloss Dagstuhl, Wadern (2023)

Singla, A.: Evaluating ChatGPT and GPT-4 for Visual Programming. In: ICER '23, S. 14 - 15 (Hg. Fisler, K.; Denny, P.; Franklin, D.). ACM Conference on International Computing Education Research, Chicago, IL, USA, 07. August 2023 - 11. August 2023. ACM, New York, NY (2023)

Tsirtsis, S.; Gomez Rodriguez, M.: Finding Counterfactually Optimal Action Sequences in Continuous State Spaces. In: Advances in Neural Information Processing Systems 36, S. 3220 - 3247 (Hg. Oh, A.; Neumann, T.; Globerson, A.; Saenko, K.; Hartdt, M. et al.). Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, LA, USA, 10. Dezember 2023 - 16. Dezember 2023. Curran Associates, Inc (2023)

Zareian, M.; Schmuck, A.-K.: Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. In: HSCC 2023, 9, S. 1 - 7. 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, TX, USA, 10. Mai 2023 - 12. Mai 2023. ACM, New York, NY (2023)

Zhang, L.; Anand, V.; Xie, Z.; Vigfusson, Y.; Mace, J.: The Benefit of Hindsight: Tracing Edge-Cases in Distributed Systems. In: 20th USENIX Symposium on Networked Systems Design and Implementation, S. 321 - 339. 20th USENIX Symposium on Networked Systems Design and Implementation, Boston, MA, USA, 17. April 2023 - 19. April 2023. USENIX (2023)

Ali, J.; Babaei, M.; Chakraborty, A.; Mirzasoleiman, B.; Gummadi, K.; Singla, A.: On the Fairness of Time-Critical Influence Maximization in Social Networks. In: ICDE 2022, S. 1541 - 1542. 38th IEEE International Conference on Data Engineering, Kuala Lumpur, Malaysia (Virtual Event), 09. Mai 2022 - 12. Mai 2022. IEEE, Piscataway, NJ (2022)

Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Ouaknine, J.; Purser, D.; Whiteland, M. A.; Worrell, J.: Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. In: 33rd International Conference on Concurrency Theory, 10, S. 1 - 16 (Hg. Klin, B.; Lasota, S.; Muscholl, A.). 33rd International Conference on Concurrency Theory, Warsaw, Poland, 12. September 2022 - 16. September 2022. Schloss Dagstuhl, Wadern (2022)

Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 81 - 98 (Hg. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 02. April 2022 - 07. April 2022. Springer, Berlin (2022)

Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, S. 6037 - 6045. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, 22. Februar 2022 - 01. März 2022. AAAI, Palo Alto, CA (2022)

Barakat, H.; Redmiles, E. M.: Community Under Surveillance: Impacts of Marginalization on an Online Labor Forum. In: Proceedings of the Sixteenth International Conference on Web and Social Media, S. 12 - 21. 16h International Conference on Web and Social Media, Atlanta, GA, USA, 06. Juni 2021 - 09. Juni 2021. AAAI (2022)

Baumann, P.; Ganardi, M.; Thinniyam Srinivasan, R.; Zetzsche, G.: Existential Definability over the Subword Ordering. In: 39th International Symposium on Theoretical Aspects of Computer Science, 7, S. 1 - 15 (Hg. Berenbrink, P.; Monmege, B.). 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France (Virtual Conference), 15. März 2022 - 18. März 2022. Schloss Dagstuhl, Wadern (2022)

Becker, H.; Rabe, R.; Darulova, E.; Myreen, M. O.; Tatlock, Z.; Kumar, R.; Tan, Y. K.; Fox, A.: Verified Compilation and Optimization of Floating-Point Programs in CakeML. In: 36th European Conference on Object-Oriented Programming, 1, S. 1 - 28 (Hg. Ali, K.; Vitek, J.). 36th European Conference on Object-Oriented Programming, Berlin, Germany, 06. Juni 2022 - 10. Juni 2022. Schloss Dagstuhl, Wadern (2022)

Bedarkar, K.; Vardishvili, M.; Bozhko, S.; Maida, M.; Brandenburg, B.: From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. In: RTSS 2022, S. 197 - 210. 43rd IEEE Real-Time Systems Symposium, Houston, TX, USA , 05. Dezember 2022 - 08. Dezember 2022. IEEE, Piscataway, NJ (2022)