Folgen
Alexander Bork
Titel
Zitiert von
Zitiert von
Jahr
Verification of indefinite-horizon POMDPs
A Bork, S Junges, JP Katoen, T Quatmann
Automated Technology for Verification and Analysis: 18th International …, 2020
332020
Under-approximating expected total rewards in POMDPs
A Bork, JP Katoen, T Quatmann
International Conference on Tools and Algorithms for the Construction and …, 2022
202022
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
92023
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
52024
Analysing Dynamic Fault Trees by GSPNs
AN Bork
RWTH Aachen University, 2018
2018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6