CTMCs with Imprecisely Timed Observations.

Thom S. Badings Matthias Volk Sebastian Junges Mariëlle Stoelinga Nils Jansen

Published in: TACAS (2) (2024)

Keyphrases

petri net
discrete event
neural network
image processing
web services
video sequences
pairwise
probabilistic model
finite state machines