Login / Signup
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.
Krishnendu Chatterjee
Amir Kafshdar Goharshady
Rasmus Ibsen-Jensen
Andreas Pavlogiannis
Published in:
CoRR (2015)
Keyphrases
</>
concurrent systems
computational cost
learning algorithm
computational complexity
space complexity
linear algebra
bayesian networks
objective function
data structure
search space
worst case
open source
theoretical analysis
structural properties