mlsanityData to 7 Oct 2026

Temporal Logics for Hyperproperties

arXiv 1401.4492 ↗First posted 17 Jan 2014cs.LOcited by 19

Not on the map. Why?

Abstract (arXiv)

Two new logics for verification of hyperproperties are proposed. Hyperproperties characterize security policies, such as noninterference, as a property of sets of computation paths. Standard temporal logics such as LTL, CTL, and CTL* can refer only to a single path at a time, hence cannot express many hyperproperties of interest. The logics proposed here, HyperLTL and HyperCTL*, add explicit and simultaneous quantification over multiple paths to LTL and to CTL*. This kind of quantification enables expression of hyperproperties. A model checking algorithm for the proposed logics is given. For a fragment of HyperLTL, a prototype model checker has been implemented.

Key facts. Cited by 19 papers in the map (data through 7 Oct 2026). First posted on arXiv 17 Jan 2014.

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2021: 2; 2022: 2; 2023: 5; 2024: 3; 2025: 5; 2026: 2.

19 papers.

Sort:

  1. 2021Evaluating Large Language Models Trained on Codecited by 8,053
  2. 2022A Hazard Analysis Framework for Code Synthesis Large Language Modelscited by 22
  3. 2021Generating Symbolic Reasoning Problems with Transformer GANscited by 5
  4. 2024Non-Deterministic Planning for Hyperproperty Verificationcited by 4
  5. 2023On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharingcited by 2
  6. 2025HypRL: Reinforcement Learning of Control Policies for Hyperpropertiescited by 2
  7. 2023Counterfactuals Modulo Temporal Logicscited by 1
  8. 2023Deductive Controller Synthesis for Probabilistic Hyperpropertiescited by 1
  9. 2023Software Doping Analysis for Human Oversightcited by 1
  10. 2024Hyper Strategy Logiccited by 1
  11. 2022Bayesian Statistical Model Checking for Multi-agent Systems using HyperPCTL*cited by 0
  12. 2023On Quantified Observability Analysis in Multiagent Systemscited by 0
7 more
  1. 2024Monitoring Second-Order Hyperpropertiescited by 0
  2. 2025Decentralized Planning Using Probabilistic Hyperpropertiescited by 0
  3. 2025An Information-Flow Perspective on Explainability Requirements: Specification and Verificationcited by 0
  4. 2025Strategy Logic, Imperfect Information, and Hyperpropertiescited by 0
  5. 2025On Conformant Planning and Model-Checking of exists^*forall^* Hyperpropertiescited by 0
  6. 2026Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guaranteescited by 0
  7. 2026HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observationcited by 0