Compositional Branching-Time Measurements.

Radu Grosu Doron A. Peled C. R. Ramakrishnan Scott A. Smolka Scott D. Stoller Junxing Yang

Published in: FPS@ETAPS (2014)

Keyphrases

temporal logic
measurement noise
temporal reasoning
measured data
data sets
social networks
database
real time
knowledge base
digital libraries
epistemic logic