55 citations · 145 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021
Aspartix-V21
Wolfgang Dvořák, Matthias König, Johannes P. Wallner +1
In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021. AS…
cs.LO2021
Symbolic Time and Space Tradeoffs for Probabilistic Verification
Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger +1
We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision pro…