19 citations · 19 across the 1 of their papers we have counts for
1 paper
Peter Faymonville, Martin Zimmermann
We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope. LDL was propose…