Alexander Bork

12 papers A 1B 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Search and explore: symbiotic policy synthesis in POMDPs.
Formal Methods Syst. Des.
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2025 A conf
Multi-Cost-Bounded Reachability Analysis of POMDPs.
UAI
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann, Svenja Stein
2024 — conf
Learning Explainable and Better Performing Representations of POMDP Strategies.
TACAS (2)
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
2024 J jnl
Learning Explainable and Better Performing Representations of POMDP Strategies.
CoRR
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 — conf
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CAV (3)
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 J jnl
Search and Explore: Symbiotic Policy Synthesis in POMDPs.
CoRR
Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 — conf
Under-Approximating Expected Total Rewards in POMDPs.
TACAS (2)
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
2022 J jnl
Under-Approximating Expected Total Rewards in POMDPs.
CoRR
Alexander Bork, Joost-Pieter Katoen, Tim Quatmann
2020 B conf
Verification of Indefinite-Horizon POMDPs.
ATVA
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
2020 J jnl
Verification of indefinite-horizon POMDPs.
CoRR
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann