Pages that link to "Item:Q2949438"
From MaRDI portal
The following pages link to Unifying Hyper and Epistemic Temporal Logics (Q2949438):
Displayed 7 items.
- Runtime enforcement of hyperproperties (Q2147207) (← links)
- Flavors of sequential information flow (Q2152640) (← links)
- Model checking algorithms for hyperproperties (invited paper) (Q2234054) (← links)
- Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
- Propositional Dynamic Logic for Hyperproperties (Q5089318) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
- (Q6191004) (← links)