@Article{         DelzannoSangnierTraversoZavattaro,
  Author        = "Delzanno, Giorgio and Sangnier, Arnaud and Traverso, Riccardo and Zavattaro, Gianluigi",
  Abstract      = "We investigate the impact of spontaneous movement in the complexity of verification problems for an automata-based protocol model of networks with selective broadcast communication. We first consider reachability of an error state and show that parameterized verification is decidable with polynomial complexity. We then move to richer queries and show how the complexity changes when considering properties with negation or cardinality constraints.",
  date-added    = "2012-12-18 11:10:04 +0000",
  date-modified = "2012-12-29 14:37:15 +0000",
  EPrint        = "1202.5850",
  Keywords      = "Ad Hoc networks and broadcast protocols",
  Month         = "02",
  Title         = "The Cost of Parameterized Reachability in Mobile Ad Hoc Networks",
  URL           = "http://arxiv.org/abs/1202.5850",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1202.5850",
  File          = "The Cost of Parameterized Reachability in Mobile Ad Hoc Networks - Delzanno, Sangnier, Traverso, Zavattaro (0) (0) - a - a - l.pdf"
}

@Article{ DelzannoSangnierTraversoZavattaro, Author = "Delzanno, Giorgio and Sangnier, Arnaud and Traverso, Riccardo and Zavattaro, Gianluigi", Abstract = "We investigate the impact of spontaneous movement in the complexity of verification problems for an automata-based protocol model of networks with selective broadcast communication. We first consider reachability of an error state and show that parameterized verification is decidable with polynomial complexity. We then move to richer queries and show how the complexity changes when considering properties with negation or cardinality constraints.", date-added = "2012-12-18 11:10:04 +0000", date-modified = "2012-12-29 14:37:15 +0000", EPrint = "1202.5850", Keywords = "Ad Hoc networks and broadcast protocols", Month = "02", Title = "The Cost of Parameterized Reachability in Mobile Ad Hoc Networks", URL = "http://arxiv.org/abs/1202.5850", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1202.5850", File = "The Cost of Parameterized Reachability in Mobile Ad Hoc Networks - Delzanno, Sangnier, Traverso, Zavattaro (0) (0) - a - a - l.pdf" }