Errata of the paper “Monitoring Parametric Temporal Logic”

• On page 9, the syntax definition should read: Ψ ::= true | p | ¬p | … .
• On page 7, the running time should read: O(|φ| x |σ|) and the time complexity should read: O(|φ| x |φ| x |σ| x log|σ|).