Publications for Funding Period 3 Review

Below, you can find selected publications that are accepted but not yet published or not easily accessible and may be relevant for the on-site review in Dresden. Click the title to access the paper as a PDF file.

---

“How do you feel?” – Emotionserkennung nach der KI-VO

P. Meinel, A. Lauber-Rönsberg

Adaptive Handling of Deadline Misses via Stochastic MPC

M. Gallant, P. Pazzaglia, C. Mark, K. Schmidt, M. Maggio

Comparing Controller Synthesis Methods with Deadline-Miss Awareness

M. Gallant, M. Seidel, P. Pazzaglia, C. Mandrioli, C. Mark, K. Schmidt, F. Allgöwer, M. Maggio

Hochrisiko oder Ausnahme?

A. Lauber-Rönsberg, P. Meinel, J. Laux, H. Ruschemeier

Menschliche Aufsicht in der KI‑VO

S. Hetmank, P. Meinel

On the Integration of Explainable Formal Methods Tools into PMC-VIS

C. Baier, C. Chau, R. Dachselt, S. Klüppelholz, M. Korn, R. Langner, J. Lehmann, J. Méndez

Stability and Performance of Control Systems under Probabilistic Logical Execution Time

Y. Sinnema, E. Bini†, M. Maggio

Standardisation under the AI Act and the Protection of Fundamental Rights

A. Lauber-Rönsberg, P. Meinel, N. Sporer, S. Hetmank

The zeroLET Task Model and its Application to Offset Design Space Exploration

S. Wang, E. Bini, Q. Deng, M. Maggio

Towards Actionable Strategy Certificates in Stochastic Parity Games

C. Baier, D. Cauquil, C. Chau, S. Klüppelholz, A.-K. Schmuck

What are AI systems? Rethinking the core definition in the EU AI Act

P. Meinel, K. Baum, H. Hermanns, E. Pöppelmann, M. Langer, A. Lauber-Rönsberg