Probably safe or live.

Joost-Pieter KatoenLei SongLijun Zhang
Published in: CSL-LICS (2014)
Keyphrases
  • real time
  • viewpoint
  • expert systems
  • probabilistic model