Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems
Eleftheria Katsiri, Alan MycroftVolume:
19
Year:
2011
Language:
english
Pages:
20
DOI:
10.1016/j.simpat.2010.06.002
File:
PDF, 770 KB
english, 2011