Login / Signup
Efficient Decentralized LTL Monitoring Framework Using Tableau Technique.
Omar I. Al-Bataineh
David S. Rosenblum
Mark 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