On Frequency LTL in Probabilistic Systems.

Vojtech Forejt Jan Krcál

Published in: CoRR (2015)

Keyphrases

probabilistic model
intelligent systems
management system
real time
information retrieval
learning algorithm
case study
data structure
information theoretic
low frequency
probabilistic reasoning