Hidden non-Markovian reward Models : Virtual stochastic sensors for hybrid systems | IEEE Conference Publication | IEEE Xplore