Verification of Indefinite-Horizon POMDPs. - Alexander Bork; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann (ATVA, 2020)

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. - Alexander Bork; Joost-Pieter Katoen; Tim Quatmann (Zenodo, 2021)

Update Package for Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. - Alexander Bork; Joost-Pieter Katoen; Tim Quatmann (Zenodo, 2021)

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. - Alexander Bork; Joost-Pieter Katoen; Tim Quatmann (Zenodo, 2021)

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs. - Alexander Bork; Joost-Pieter Katoen; Tim Quatmann (Zenodo, 2021)

Under-Approximating Expected Total Rewards in POMDPs. - Alexander Bork; Joost-Pieter Katoen; Tim Quatmann (TACAS (2), 2022)

Search and Explore: Symbiotic Policy Synthesis in POMDPs. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (CAV (3), 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'. - Roman Andriushchenko; Alexander Bork; Milan Ceska 002; Sebastian Junges; Joost-Pieter Katoen; Filip Macák (Zenodo, 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Jan Kretínský; Stefanie Mohr (TACAS (2), 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Multi-Cost-Bounded Reachability Analysis of POMDPs. - Alexander Bork; Joost-Pieter Katoen; Tim Quatmann; Svenja Stein (UAI, 2025)