Copertina

Monitoring Second-Order Hyperproperties

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Beutner, Raven, Finkbeiner, Bernd, Frenkel, Hadar, Metzger, Niklas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Artificial Intelligence Multiagent Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Strategy Logic, Imperfect Information, and Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
di: Beutner, Raven, et al.
Pubblicazione: (2023)

Hyper Strategy Logic
di: Beutner, Raven, et al.
Pubblicazione: (2024)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Non-Deterministic Planning for Hyperproperty Verification
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
di: Beutner, Raven, et al.
Pubblicazione: (2025)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
di: Beutner, Raven, et al.
Pubblicazione: (2022)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

Visualizing Game-Based Certificates for Hyperproperty Verification
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Verifying Asynchronous Hyperproperties in Reactive Systems
di: Beutner, Raven, et al.
Pubblicazione: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

Syntax-Guided Automated Program Repair for Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Synthesis of Temporal Causality
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

Logics and Algorithms for Hyperproperties
di: Finkbeiner, Bernd
Pubblicazione: (2025)

Disagree and Commit: Degrees of Argumentation-based Agreements
di: Kampik, Timotheus, et al.
Pubblicazione: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
di: Grobelna, Marta, et al.
Pubblicazione: (2025)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
di: Kampik, Timotheus, et al.
Pubblicazione: (2025)

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork
di: Dodampegama, Hasra, et al.
Pubblicazione: (2025)

An Epistemic Perspective on Agent Awareness
di: Naumov, Pavel, et al.
Pubblicazione: (2025)

Providing personalized Explanations: a Conversational Approach
di: Luo, Jieting, et al.
Pubblicazione: (2023)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
di: Léveillé, Dylan
Pubblicazione: (2025)

Strength Change Explanations in Quantitative Argumentation
di: Kampik, Timotheus, et al.
Pubblicazione: (2026)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
di: Metere, Alfredo
Pubblicazione: (2026)

Explainability Requirements as Hyperproperties
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2025)

Preregistered Belief Revision Contracts
di: Alqithami, Saad
Pubblicazione: (2026)

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
di: Sartor, Galileo, et al.
Pubblicazione: (2025)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
di: Alshammari, Tamara, et al.
Pubblicazione: (2026)

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
di: Xu, Jianfeng
Pubblicazione: (2026)

Agentic System with Modal Logic for Autonomous Diagnostics
di: Sulc, Antonin, et al.
Pubblicazione: (2025)

Can Proof Assistants Verify Multi-Agent Systems?
di: Mendez, Julian Alfredo, et al.
Pubblicazione: (2025)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
di: Bjorndahl, Adam
Pubblicazione: (2025)

An Architecture for Spatial Networking
di: Millar, Josh, et al.
Pubblicazione: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

Hyperproperty-Constrained Secure Reinforcement Learning
di: Bonnah, Ernest, et al.
Pubblicazione: (2025)

Towards Regulated Deep Learning
di: García-Camino, Andrés
Pubblicazione: (2019)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
di: Costantini, Stefania
Pubblicazione: (2024)

Logic of Awareness for Nested Knowledge
di: Kubono, Yudai
Pubblicazione: (2024)

A Model Checker for Natural Strategic Ability
di: Aruta, Marco, et al.
Pubblicazione: (2024)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
di: Gurov, Dilian, et al.
Pubblicazione: (2024)