Majumdar, R.; Mallik, K.; Rychlicki, M.; Schmuck, A.-K.; Soudjani, S.: A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. In: Computer Aided Verification, S. 3 - 15 (Hg. Enea, C.; Lal, A.). 35th International Conference on Computer-Aided Verification, Paris, France, 17. Juli 2023 - 22. Juli 2023. Springer, Berlin (2023)

Mandal, D.; Radanovic, G.; Gan, J.; Singla, A.; Majumdar, R.: Online Reinforcement Learning with Uncertain Episode Lengths. In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, S. 9064 - 9071. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, 07. Februar 2023 - 14. Februar 2023. AAAI, Palo Alto, CA (2023)

Mansur, M. N.; Wüstholz, V.; Christakis, M.: Dependency-Aware Metamorphic Testing of Datalog Engines. In: ISSTA '23, S. 236 - 247 (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)

Marković, F.; Roux, P.; Bozhko, S.; Papadopoulos, A. V.; Brandenburg, B. B.: CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. In: 44th IEEE Real-Time Systems Symposium, S. 317 - 330. 44th IEEE Real-Time Systems Symposium, Taipei, Taiwan, 05. Dezember 2023 - 08. Dezember 2023. IEEE, Piscataway, NJ (2023)

Marmanis, I.; Kokologiannakis, M.; Vafeiadis, V.: Reconciling Preemption Bounding with DPOR. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 85 - 104 (Hg. Sankaranarayanan, S.; Sharzgina, N.). 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 22. April 2023 - 27. April 2023. Springer, Berlin (2023)

Marmanis, I.; Vafeiadis, V.: Optimal Bounded Partial Order Reduction. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design (Hg. Nadel, A.; Rozier, K. Y.). 23rd Conference on Formal Methods in Computer-Aided Design. TU Wien Academic Press, Wien (2023)

Merlin, G.; Nanda, V.; Rawal, R.; Toneva, M.: What Happens During Finetuning of Vision Transformers: An Invariance Based Investigation. In: Proceedings of The 2nd Conference on Lifelong Learning Agents, S. 601 - 619 (Hg. Chandar, S.; Pascanu, R.; Sedghi, H.; Precup, D.). 2nd Conference on Lifelong Learning Agents,, Montréal, Québec, Canada, 22. August 2023 - 25. August 2023. (2023)

Messias, J.; Pahari, V.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.: Dissecting Bitcoin and Ethereum Transactions: On the Lack of Transaction Contention and Prioritization Transparency in Blockchains. In: Financial Cryptography and Data Security 2023. Twenty-Seventh International Conference on Financial Cryptography and Data Security, Bol/Brač, Croatia , 01. Mai 2023 - 05. Mai 2023. (2023)

Mohammadi, M.; Nöther, J.; Mandal, D.; Singla, A.; Radanovic, G.: Implicit Poisoning Attacks in Two-Agent Reinforcement Learning: Adversarial Policies for Training-Time Attacks. In: AAMAS '23, S. 1835 - 1844 (Hg. Agmon, N.; An, B.; Ricci, A.; Yeoh, W.). 22nd International Conference on Autonomous Agents and Multiagent Systems, London, UK, 29. Mai 2023 - 02. Juni 2023. IFAAMAS, Liverpool (2023)

Nanda, V.; Majumdar, A.; Kolling, C.; Dickerson, J. P.; Gummadi, K.; Love, B. C.; Weller, A.: Do Invariances in Deep Neural Networks Align with Human Perception? In: Proceedings of the 37th AAAI Conference on Artificial Intelligence, S. 9277 - 9285. 37th AAAI Conference on Artificial Intelligence, Washington, DC, USA, 07. Februar 2023 - 14. Februar 2023. AAAI, Palo Alto, CA (2023)

Nanda, V.; Speicher, T.; Dickerson, J. P.; Feizi, S.; Gummadi, K.; Weller, A.: Diffused Redundancy in Pre-trained Representations. In: Advances in Neural Information Processing Systems 36, S. 4055 - 4079 (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)

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)