Alexander Bork

According to our database, Alexander Bork authored at least 12 papers between 2020 and 2024.

Collaborative distances:

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

2024

Tools at the Frontiers of Quantitative Verification.

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

CoRR, 2024

Learning Explainable and Better Performing Representations of POMDP Strategies.

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Artifact supplement for 'Search and Explore: Symbiotic Policy Synthesis in POMDPs'.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Dataset, April, 2023

Search and Explore: Symbiotic Policy Synthesis in POMDPs.

Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

Update Package for Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs.

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

Dataset, November, 2021

2020

Verification of Indefinite-Horizon POMDPs.

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Proceedings of the Automated Technology for Verification and Analysis, 2020