The following pages link to Parametric linear dynamic logic (Q515660):
Displayed 13 items.
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Visibly linear dynamic logic (Q1786616) (← links)
- Almost event-rate independent monitoring (Q2008287) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Quantitative reductions and vertex-ranked infinite games (Q2029603) (← links)
- Incorporating monitors in reactive synthesis without paying the price (Q2147214) (← links)
- Parameterized linear temporal logics meet costs: still not costlier than LTL (Q2413483) (← links)
- Robust, expressive, and quantitative linear temporal logics: pick any two for free (Q2672232) (← links)
- Delay Games with WMSO+U Winning Conditions (Q2953690) (← links)
- (Q3384874) (← links)
- (Q5020519) (← links)
- (Q5021006) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)