Florian Wittbold

According to our database, Florian Wittbold authored at least 8 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Software Artifact for "Computing Fixpoints of Learned Functions".

Florian Wittbold, Paolo Baldan, Barbara König, Sebastian Gurke

Dataset, January, 2026

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games.

Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Software Artifact for "Approximating Fixpoints of Approximated Functions".

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

Dataset, April, 2025

Computing Approximated Fixpoints via Dampened Mann Iteration.

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

CoRR, January, 2025

Unsupervised Automata Learning via Discrete Optimization.

Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Approximating Fixpoints of Approximated Functions.

Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2023

Interpretable Anomaly Detection via Discrete Optimization.

Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider

CoRR, 2023

Stochastic Decision Petri Nets.

Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023