A central task in many applications is reasoning about processes that change over continuous time. continuous-time bayesian networks is a general compact representation language for multi-component continuous-time processes. However, exact inference in such processes is exponential in