@Article{         Hrushovski:2018aa,
  Author        = {Hrushovski, Ehud and Ouaknine, Jo{\"e}l and Pouly, Amaury and Worrell, James},
  Abstract      = "We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose assignments are given by affine expressions). Our main tool is an algebraic result of independent interest: given a finite set of rational square matrices of the same dimension, we show how to compute the Zariski closure of the semigroup that they generate.",
  date-added    = "2018-04-02 09:36:43 +0000",
  date-modified = "2018-04-02 09:42:06 +0000",
  EPrint        = "1802.01810",
  Keywords      = "readme and Zariski closure",
  Month         = "02",
  Title         = "Polynomial Invariants for Affine Programs",
  URL           = "https://arxiv.org/pdf/1802.01810",
  Year          = "2018",
  bdsk-url-1    = "https://arxiv.org/abs/1802.01810",
  bdsk-url-2    = "https://arxiv.org/pdf/1802.01810",
  File          = "1802.01810 (0) - a - a - r.pdf",
  file-2        = "On Strongest Algebraic Program Invariants - strongest\_algebraic\_invariants19 - a - r.pdf"
}

@Article{ Hrushovski:2018aa, Author = {Hrushovski, Ehud and Ouaknine, Jo{\"e}l and Pouly, Amaury and Worrell, James}, Abstract = "We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose assignments are given by affine expressions). Our main tool is an algebraic result of independent interest: given a finite set of rational square matrices of the same dimension, we show how to compute the Zariski closure of the semigroup that they generate.", date-added = "2018-04-02 09:36:43 +0000", date-modified = "2018-04-02 09:42:06 +0000", EPrint = "1802.01810", Keywords = "readme and Zariski closure", Month = "02", Title = "Polynomial Invariants for Affine Programs", URL = "https://arxiv.org/pdf/1802.01810", Year = "2018", bdsk-url-1 = "https://arxiv.org/abs/1802.01810", bdsk-url-2 = "https://arxiv.org/pdf/1802.01810", File = "1802.01810 (0) - a - a - r.pdf", file-2 = "On Strongest Algebraic Program Invariants - strongest_algebraic_invariants19 - a - r.pdf" }