Sign in

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique.

Omar I. Al-BatainehDavid S. RosenblumMark Reynolds
Published in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
  • lightweight
  • information systems
  • reinforcement learning
  • databases
  • neural network
  • temporal logic
  • machine learning
  • learning algorithm
  • knowledge base
  • cooperative
  • probabilistic model
  • decision support