On Frequency LTL in Probabilistic Systems.

Vojtech Forejt Jan Krcál

Published in: CONCUR (2015)

Keyphrases

model checking
database
real time
databases
computer vision
decision trees
data streams
probabilistic model
distributed systems
data driven
building blocks