@InProceedings{   GastinMukherjeeSrivathsan:CAV:2019,
  Author        = "Gastin, Paul and Mukherjee, Sayan and Srivathsan, B.",
  Editor        = "Dillig, Isil and Tasiran, Serdar",
  Abstract      = {A popular method for solving reachability in timed automata proceeds by enumerating reachable sets of valuations represented as zones. A na{\"\i}ve enumeration of zones does not terminate. Various termination mechanisms have been studied over the years. Coming up with efficient termination mechanisms has been remarkably more challenging when the automaton has diagonal constraints in guards.},
  Address       = "Cham",
  BookTitle     = "Proc. of CAV'19",
  date-added    = "2019-08-13 16:16:15 +0200",
  date-modified = "2020-08-12 14:51:26 +0200",
  ISBN          = "978-3-030-25540-4",
  Pages         = "41--59",
  Publisher     = "Springer International Publishing",
  Title         = "Fast Algorithms for Handling Diagonal Constraints in Timed Automata",
  Year          = "2019",
  File          = "Fast Algorithms for Handling Diagonal Constraints in Timed Automata - Gastin2019\_Chapter\_FastAlgorithmsForHandlingDiago - a - a - d.pdf"
}

@InProceedings{ GastinMukherjeeSrivathsan:CAV:2019, Author = "Gastin, Paul and Mukherjee, Sayan and Srivathsan, B.", Editor = "Dillig, Isil and Tasiran, Serdar", Abstract = {A popular method for solving reachability in timed automata proceeds by enumerating reachable sets of valuations represented as zones. A na{\"\i}ve enumeration of zones does not terminate. Various termination mechanisms have been studied over the years. Coming up with efficient termination mechanisms has been remarkably more challenging when the automaton has diagonal constraints in guards.}, Address = "Cham", BookTitle = "Proc. of CAV'19", date-added = "2019-08-13 16:16:15 +0200", date-modified = "2020-08-12 14:51:26 +0200", ISBN = "978-3-030-25540-4", Pages = "41--59", Publisher = "Springer International Publishing", Title = "Fast Algorithms for Handling Diagonal Constraints in Timed Automata", Year = "2019", File = "Fast Algorithms for Handling Diagonal Constraints in Timed Automata - Gastin2019_Chapter_FastAlgorithmsForHandlingDiago - a - a - d.pdf" }