Symbolic runtime verification for monitoring under uncertainties and assumptions | Publicación