Login / Signup

GR(1)*: GR(1) Specifications Extended with Existential Guarantees.

Gal AmramShahar MaozOr Pistiner
Published in: FM (2019)
Keyphrases
  • numerically stable
  • databases
  • computer vision
  • website
  • high level
  • expert systems
  • specification language