Login / Signup

Let's Prove It Later - Verification at Different Points in Time.

Martin RingChristoph Lüth
Published in: SEFM (2019)
Keyphrases
  • model checking
  • point sets
  • data points
  • feature points
  • endpoints
  • high dimensional
  • upper bound
  • convex hull
  • single point