Alexander Bork

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

Collaborative distances:

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

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