Florian Wittbold

According to our database, Florian Wittbold authored at least 6 papers between 2023 and 2025.

Collaborative distances:

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

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