Sign in

Reachability in Injective Piecewise Affine Maps.

Faraz GhahremaniEdon KelmendiJoël Ouaknine
Published in: LICS (2023)
Keyphrases
  • piecewise affine
  • state space
  • genetic algorithm
  • transitive closure
  • dynamic programming