@Article{         DeshpandeHerbreteauSrivathsanTranWalukiewicz,
  Author        = "Deshpande, Aakash and Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Tran, Thanh-Tung and Walukiewicz, Igor",
  Abstract      = {We propose a new efficient algorithm for detecting if a cycle in a timed automaton can be iterated infinitely often. Existing methods for this problem have a complexity which is exponential in the number of clocks. Our method is polynomial: it essentially does a logarithmic number of zone canonicalizations. This method can be incorporated in algorithms for verifying B\"uchi properties on timed automata. We report on some experiments that show a significant reduction in search space when our iteratability test is used.},
  date-added    = "2014-12-22 22:15:30 +0000",
  date-modified = "2014-12-22 22:15:30 +0000",
  EPrint        = "1410.4509",
  Month         = "10",
  Title         = "Fast detection of cycles in timed automata",
  URL           = "http://arxiv.org/abs/1410.4509",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1410.4509",
  File          = "Fast detection of cycles in timed automata - Deshpande, Herbreteau, Srivathsan, Tran, Walukiewicz (0) (0) - a - a - i.pdf"
}

@Article{ DeshpandeHerbreteauSrivathsanTranWalukiewicz, Author = "Deshpande, Aakash and Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Tran, Thanh-Tung and Walukiewicz, Igor", Abstract = {We propose a new efficient algorithm for detecting if a cycle in a timed automaton can be iterated infinitely often. Existing methods for this problem have a complexity which is exponential in the number of clocks. Our method is polynomial: it essentially does a logarithmic number of zone canonicalizations. This method can be incorporated in algorithms for verifying B\"uchi properties on timed automata. We report on some experiments that show a significant reduction in search space when our iteratability test is used.}, date-added = "2014-12-22 22:15:30 +0000", date-modified = "2014-12-22 22:15:30 +0000", EPrint = "1410.4509", Month = "10", Title = "Fast detection of cycles in timed automata", URL = "http://arxiv.org/abs/1410.4509", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1410.4509", File = "Fast detection of cycles in timed automata - Deshpande, Herbreteau, Srivathsan, Tran, Walukiewicz (0) (0) - a - a - i.pdf" }