Sign in

Automatically verifying STRAC policy.

Yunchuan GuoLihua YinLi Chao
Published in: INFOCOM Workshops (2014)
Keyphrases
  • automatically generated
  • learning environment
  • management system
  • model checking
  • asymptotically optimal
  • database
  • real time
  • databases
  • social networks
  • artificial neural networks
  • dynamic programming
  • optimal policy