https://flo-witt.github.io/portfolio/portfolio-1/ https://flo-witt.github.io/portfolio/portfolio-2/ https://flo-witt.github.io/publication/2023-05-28-stochastic-decision-petri-nets 2023-05-28T00:00:00+00:00 https://flo-witt.github.io/publication/2025-07-22-approximating-fixpoints-of-approximated-functions 2025-07-22T00:00:00+00:00 https://flo-witt.github.io/publication/2025-08-29-unsupervised-automata-learning-via-discrete-optimization 2025-08-29T00:00:00+00:00 https://flo-witt.github.io/publication/2026-04-16-computing-fixpoints-of-learned-functions 2026-04-16T00:00:00+00:00 https://flo-witt.github.io/publication/2023-05-28-stochastic-decision-petri-nets 2023-05-28T00:00:00+00:00 https://flo-witt.github.io/talks/2024-10-08-ista 2024-10-08T00:00:00+00:00 https://flo-witt.github.io/talks/2025-06-13-icis 2025-06-13T00:00:00+00:00 https://flo-witt.github.io/talks/2026-03-26-dcon 2026-03-26T00:00:00+00:00 https://flo-witt.github.io/publication/2026-04-16-computing-fixpoints-of-learned-functions 2026-04-16T00:00:00+00:00 https://flo-witt.github.io/teaching/2015-spring-teaching-1 2015-01-01T00:00:00+00:00 https://flo-witt.github.io/teaching/computability-and-complexity 2022-01-01T00:00:00+00:00 https://flo-witt.github.io/ https://flo-witt.github.io/cv/ https://flo-witt.github.io/publications/ https://flo-witt.github.io/talkmap.html https://flo-witt.github.io/talks/ https://flo-witt.github.io/terms/ https://flo-witt.github.io/markdown_generator/ https://flo-witt.github.io/files/cav-25-paper.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/files/dcon-26.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/files/icis-25.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/files/ista-24.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/files/petri-nets-23-paper.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/files/petri-nets-23.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/files/tacas-26-paper.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/files/tacas-26.pdf 2026-06-05T13:23:14+00:00 https://flo-witt.github.io/talkmap/map.html 2026-06-05T13:23:14+00:00