Activities

2023

• Counterexample-based backward responsibility in transition systems using the Shapley value Lehmann, J. A. (Speaker) 4 Aug 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Invited
• Reliability by Design: Migration Modeling for IC Layout Synthesis Rothe, S. (Speaker) 1 Aug 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Contributed
• Lightweight design of hybrid, circumferential reinforced high-pressure hydraulic cylinders Birke, M. (Involved person), Gottwald, R. (Involved person), Schlegel, D. (Speaker), Meyer, J. (Involved person), Grüber, B. (Involved person), Spitzer, S. (Involved person), Gude, M. (Involved person) Aug 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Contributed
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access Wienhöft, P. (Speaker) 27 Jul 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Contributed
• Development of a new modular membrane filtration unit including reactant (enzyme) for the degradationof micropollutants Lerch, A. P. (Speaker), Kerst, K. (Involved person), Jacob, G. (Involved person), Werner, A. (Involved person), Voigt, R. (Involved person), Müller, H. (Involved person) 23 Jul 2023 → 26 Jul 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Contributed
• Automated local resistance measurements of resistance spot welding electrodes for aluminium alloys to characterize the electrode wear Heilmann, S. B. (Speaker), Merx, M. (Involved person), Cramer, A. (Involved person), Baumgarten, M. (Involved person), Koal, J. (Involved person), Müller, J. (Involved person), Ihlenfeldt, S. (Involved person), Füssel, U. (Involved person), Schmale, H. C. (Involved person) 18 Jul 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Contributed
• From classical to non-classical stochastic shortest path problems Baier, C. (Speaker) 18 Jul 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Invited
• Impactful Measurement Research: Lessons from Analyzing IP Prefix Hijacks, DDoS, and Emerging Transport Protocols Wählisch, M. (Speaker) 18 Jul 2023 Activity: Talk or presentation at external institutions/events > Keynote > Invited
• Probability-raising Causality in Markov Decision Processes Baier, C. (Speaker) 17 Jul 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Invited
• Semantics for Cyclic Bayesian Networks Käfer, N. (Speaker) 17 Jul 2023 Activity: Talk or presentation at external institutions/events > Talk/Presentation > Contributed