Login / Signup

On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.

Marco BernardoDavide SangiorgiValeria Vignudelli
Published in: QEST (2014)
Keyphrases
  • open problems
  • discriminating power
  • probabilistic model
  • database
  • feature extraction
  • bayesian networks
  • active learning