A remark on the expressivity of asynchronous TeamLTL and HyperLTL

DOI10.1007/978-3-031-56940-1_15MaRDI QIDQ6630200

Juha Kontinen, Jonni Virtema, Max Sandström

Publication date: 30 October 2024

zbMATH Keywords

verificationtemporal logicteam semanticshyperpropertiesHyperLTL

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A temporal logic for asynchronous hyperproperties
• On the expressive power of TeamLTL and first-order team logic over hyperproperties
• Synthesis from hyperproperties
• The First-Order Logic of Hyperproperties
• Team semantics for the specification and verification of hyperproperties
• Set semantics for asynchronous TeamLTL: expressivity and complexity

This page was built for publication: A remark on the expressivity of asynchronous TeamLTL and HyperLTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6630200)