diff --git a/stl/smooth_robustness.py b/stl/smooth_robustness.py index f618398..dd7eed8 100644 --- a/stl/smooth_robustness.py +++ b/stl/smooth_robustness.py @@ -43,11 +43,11 @@ def admissible_params(phi, eps, L): def symbolic_params(phi, eps, L): L = sym.Dummy("L") - eps = sym.Dummy("eps") + eps = sym.Dummy("\epsilon") return Param( L=L, h=sample_rate(eps, L), - B=sym.Dummy("B"), + B=sym.Dummy("B")(eps, sym.Dummy("\phi")), eps=eps, )