Alexander Bork
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | UAI | Multi-Cost-Bounded Reachability Analysis of POMDPs. | Alexander Bork, Joost-Pieter Katoen, Tim Quatmann, Svenja Stein |
| 2024 | TACAS | Learning Explainable and Better Performing Representations of POMDP Strategies. | Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretnsk, Stefanie Mohr |
| 2023 | CAV | Search and Explore: Symbiotic Policy Synthesis in POMDPs. | Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Mack |
| 2022 | TACAS | Under-Approximating Expected Total Rewards in POMDPs. | Alexander Bork, Joost-Pieter Katoen, Tim Quatmann |
| 2020 | ATVA | Verification of Indefinite-Horizon POMDPs. | Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |