Baldan, P., Gurke, S., König, B., Wittbold, F. (2026). Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games. In: Junges, S., Katz, G. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2026. Lecture Notes in Computer Science, vol 16505. Springer, Cham.
Lutz, S. et al. (2026). Unsupervised Automata Learning via Discrete Optimization. In: Casini, G., Dundua, B., Kutsia, T. (eds) Logics in Artificial Intelligence. JELIA 2025. Lecture Notes in Computer Science(), vol 16093. Springer, Cham.
Baldan, P., Gurke, S., König, B., Padoan, T., Wittbold, F. (2025). Approximating Fixpoints of Approximated Functions. In: Piskac, R., Rakamarić, Z. (eds) Computer Aided Verification. CAV 2025. Lecture Notes in Computer Science, vol 15932. Springer, Cham.
Wittbold, F., Bernemann, R., Heckel, R., Heindel, T., König, B. (2023). Stochastic Decision Petri Nets. In: Gomes, L., Lorenz, R. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023. Lecture Notes in Computer Science, vol 13929. Springer, Cham.
at TACAS, Turin, Italy
Talk at DCON 2026, Berlin, Germany
Talk at iCIS, Radboud University, Nijmegen, Netherlands
Talk at ISTA Vienna, Vienna, Austria
at Petri Nets, Lisbon, Portugal