Pages that link to "Item:Q4636628"
From MaRDI portal
The following pages link to The First-Order Logic of Hyperproperties (Q4636628):
Displaying 14 items.
- A temporal logic for asynchronous hyperproperties (Q832224) (← links)
- On the expressive power of TeamLTL and first-order team logic over hyperproperties (Q2148802) (← links)
- Flavors of sequential information flow (Q2152640) (← links)
- On the complexity of linear temporal logic with team semantics (Q2193280) (← links)
- Model checking algorithms for hyperproperties (invited paper) (Q2234054) (← links)
- Compositional model checking for multi-properties (Q2234059) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- Team semantics for the specification and verification of hyperproperties (Q5005106) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Q6135762) (← links)
- Second-order hyperproperties (Q6535541) (← links)
- A remark on the expressivity of asynchronous TeamLTL and HyperLTL (Q6630200) (← links)
- Temporal team semantics revisited (Q6649479) (← links)
- Deciding hyperproperties combined with functional specifications (Q6649493) (← links)
