Complexity of Liveness in Parameterized Systems.

Peter Chini Roland Meyer Prakash Saivasan

Published in: FSTTCS (2019)

Keyphrases

distributed systems
computational complexity
data model
computing systems
data sets
real world
information retrieval
information systems
image sequences
similarity measure
hidden markov models
mobile robot
building blocks
space complexity