Login / Signup

Dos and don'ts of CTL state coverage estimation.

Nikhil JayakumarMitra PurandareFabio Somenzi
Published in: DAC (2003)
Keyphrases
  • real time
  • data sets
  • model checking
  • learning algorithm
  • databases
  • data mining
  • hidden markov models
  • scheduling problem
  • temporal logic
  • temporal properties