Login / Signup

Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems.

Enrico VicarioLuigi SassoliLaura Carnevali
Published in: IEEE Trans. Software Eng. (2009)
Keyphrases
  • quantitative evaluation
  • reactive systems
  • ground truth
  • qualitative evaluation
  • ground truth data
  • high quality
  • quality assessment
  • artificial intelligence
  • low cost
  • formal methods
  • error measure