Alexander Bork

2020202120222023202420252 6 12 15 41 1

Public access

4 articles

0 articles

available

not available

Based on funding mandates

Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Roman AndriushchenkoPh.D. student, Brno University of TechnologyVerified email at vutbr.cz

Alexander Bork

Verified email at cs.rwth-aachen.de - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Verification of indefinite-horizon POMDPs A Bork, S Junges, JP Katoen, T Quatmann Automated Technology for Verification and Analysis: 18th International …, 2020	33	2020
Under-approximating expected total rewards in POMDPs A Bork, JP Katoen, T Quatmann International Conference on Tools and Algorithms for the Construction and …, 2022	20	2022
Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... International TOOLympics Challenge, 90-146, 2024	10*	2024
Search and explore: symbiotic policy synthesis in POMDPs R Andriushchenko, A Bork, M Češka, S Junges, JP Katoen, F Macák International Conference on Computer Aided Verification, 113-135, 2023	9	2023
Learning Explainable and Better Performing Representations of POMDP Strategies A Bork, D Chakraborty, K Grover, J Křetínský, S Mohr International Conference on Tools and Algorithms for the Construction and …, 2024	5	2024
Analysing Dynamic Fault Trees by GSPNs AN Bork RWTH Aachen University, 2018		2018

The system can't perform the operation now. Try again later.

Articles 1–6

Citations per year