Shetty, A. K.; Krishna, S. N.; Zetzsche, G.: Scope-Bounded Reachability in Valence Systems. In: 32nd International Conference on Concurrency Theory, 29, S. 1 - 19 (Hg. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, 24. August 2021 - 27. August 2021. Schloss Dagstuhl, Wadern (2021)

Spies, S.; Gäher, L.; Gratzer, D.; Tassarotti, J.; Krebbers, R.; Dreyer, D.; Birkedal, L.: Transfinite Iris: Resolving an Existential Dilemma of Step-indexed Separation Logic. In: PLDI '21, S. 80 - 95 (Hg. Freund, S. N.; Yahav, E.). 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual, Canada, 20. Juni 2021 - 25. Juni 2021. ACM, New York, NY (2021)

Triantafyllou, S.; Singla, A.; Radanovic, G.: On Blame Attribution for Accountable Multi-Agent Sequential Decision Making. In: Advances in Neural Information Processing Systems 34, S. 15774 - 15786 (Hg. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, 07. Dezember 2021. Curran Associates, Inc. (2021)

Vafeiadis, V.: The Challenges of Weak Persistency. In: 9th Conference on Algebra and Coalgebra in Computer Science, 4, S. 1 - 3 (Hg. Gadducci, F.; Silva, A.). 9th Conference on Algebra and Coalgebra in Computer Science, Salzburg, Austria, 31. August 2021 - 03. September 2021. Schloss Dagstuhl, Wadern (2021)

von der Brüggen, G.; Piatkowski, N.; Chen, K.-H.; Chen, J.-J.; Morik, K.; Brandenburg, B.: Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF. In: IEEE 42nd Real-Time Systems Symposium, S. 214 - 226. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), 07. Dezember 2021 - 10. Dezember 2021. IEEE, Piscataway, NJ (2021)

Wang, C.; Singla, A.; Chen, Y.: Teaching an Active Learner with Contrastive Examples. In: Advances in Neural Information Processing Systems 34, S. 17968 - 17980 (Hg. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, 07. Dezember 2021. Curran Associates, Inc. (2021)

Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R. J.; Wüstholz, V.; Gurfinkel, A.: Compositional Verification of Smart Contracts Through Communication Abstraction. In: Static Analysis, S. 429 - 452 (Hg. Drăgoi, C.; Mukherjee, S.; Namjoshi, K.). 28th International Static Analysis Symposium, Chicago, IL, USA, 17. Oktober 2021 - 19. Oktober 2021. Springer, Berlin (2021)

Xu, Z.; Wu, B.; Ojha, A.; Neider, D.; Topcu, U.: Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. In: Machine Learning and Knowledge Extraction, S. 115 - 135 (Hg. Holzinger, A.; Kieseberg, P.; Tjoa, A. M.). 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference for Machine Learning & Knowledge Extraction, Virtual Event, 17. August 2021 - 20. August 2021. Springer, Berlin (2021)

Yengera, G.; Devidze, R.; Kamalaruban, P.; Singla, A.: Curriculum Design for Teaching via Demonstrations. In: Advances in Neural Information Processing Systems 34, S. 10496 - 10509 (Hg. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, 07. Dezember 2021. Curran Associates, Inc. (2021)

Yong Wong, M.; Landen, M.; Antonakakis, M.; Blough, D. M.; Redmiles, E. M.; Ahamad, M.: An Inside Look into the Practice of Malware Analysis. In: CCS '21, S. 3053 - 3069 (Hg. Kim, Y.; Kim, J.; Vigna, G.; Shi, E.; Kim, H. et al.). ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, 15. November 2021 - 19. November 2021. ACM, New York, NY (2021)

Zetzsche, G.: Recent Advances on Reachability Problems for Valence Systems (Invited Talk). In: Reachability Problems, S. 52 - 65 (Hg. Bell, P. C.; Totzke, P.; Potapov, I.). 5th International Conference on Reachability Problems, Liverpool, UK, 25. Oktober 2021 - 27. Oktober 2021. Springer, Berlin (2021)

Zhang, X.; Bharti, S.; Ma, Y.; Singla, A.; Zhu, X.: The Sample Complexity of Teaching by Reinforcement on Q-Learning. In: AAAI Technical Track on Machine Learning V, S. 10939 - 10947. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, 02. Februar 2021 - 09. Februar 2021. AAAI, Palo Alto, CA (2021)

Babaei, M.: Information Consumption on Social Media. Dissertation, 127 S., Universität des Saarlandes, Saarbrücken (2021)

Alzayat, M. W. M.; Messias, J.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.: Modeling Coordinated vs. P2P Mining: An Analysis of Inefficiency and Inequality in Proof-of-Work Blockchains. (2021), 12 S.

Banihashem, K.; Singla, A.; Radanovic, G.: Defense Against Reward Poisoning Attacks in Reinforcement Learning. (2021), 36 S.

Eniser, H. F.; Christakis, M.; Wüstholz, V.: RAID: Randomized Adversarial-Input Detection for Neural Networks. (2021), 12 S.

Lut, Y.; Wang, M.; Redmiles, E. M.; Cummings, R.: How we browse: Measurement and analysis of digital behavior. (2021), 23 S.

Rakhsha, A.; Zhang, X.; Zhu, X.; Singla, A.: Reward Poisoning in Reinforcement Learning: Attacks Against Unknown Learners in Unknown Environments. (2021), 22 S.

Schmuck, A.-K.; Zareian, M.: Abstraction-Based Output-Feedback Control with State-Based Specifications. (2021), 12 S.

Tsirtsis, S.; De, A.; Gomez Rodriguez, M.: Counterfactual Explanations in Sequential Decision Making Under Uncertainty. (2021), 18 S.