Login / Signup

Predictive runtime verification of timed properties.

Srinivas PinisettyThierry JéronStavros TripakisYliès FalconeHervé MarchandViorel Preoteasa
Published in: J. Syst. Softw. (2017)
Keyphrases
  • topological properties
  • machine learning
  • genetic algorithm
  • digital libraries
  • multiresolution
  • vector quantization