Login / Signup
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.
Krishnendu Chatterjee
Rasmus Ibsen-Jensen
Amir Kafshdar Goharshady
Andreas Pavlogiannis
Published in:
ACM Trans. Program. Lang. Syst. (2018)
Keyphrases
</>
concurrent systems
computational cost
computationally efficient
learning algorithm
worst case
space complexity
temporal logic
optimization problems
computational complexity
np hard
special case
significant improvement
search space
building blocks
graph theory
data structure
linear algebra
artificial intelligence