Cover Image

Comparing State-Representations for DEL Model Checking

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Behnke, Gregor, Gattinger, Malvin, Ghosh, Avijeet, Wang, Haitian
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Multiagent Systems F.4.1; I.2.4; I.2.11
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2025)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
by: Kadaboina, Ravi Kiran
Published: (2026)

Agent Semantics, Semantic Spacetime, and Graphical Reasoning
by: Burgess, Mark
Published: (2025)

$γ(3,4)$ `Attention' in Cognitive Agents: Ontology-Free Knowledge Representations With Promise Theoretic Semantics
by: Burgess, Mark
Published: (2025)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
by: Galimullin, Rustam, et al.
Published: (2026)

Varieties of Distributed Knowledge
by: Galimullin, Rustam, et al.
Published: (2025)

Policy Cards: Machine-Readable Runtime Governance for Autonomous AI Agents
by: Mavračić, Juraj
Published: (2025)

ChargingBoul: A Competitive Negotiating Agent with Novel Opponent Modeling
by: Shymanski, Joe
Published: (2025)

Context Engineering: From Prompts to Corporate Multi-Agent Architecture
by: Vishnyakova, Vera V.
Published: (2026)

On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
by: Burgess, Mark
Published: (2025)

HECATE: An ECS-based Framework for Teaching and Developing Multi-Agent Systems
by: Casals, Arthur, et al.
Published: (2025)

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
by: Baltag, Alexandru, et al.
Published: (2025)

Consensus and Synchronization of Multi-agent Systems over Finite Fields -- Graph Topologies
by: Hengster-Movrić, Kristian, et al.
Published: (2026)

Knowledge Equivalence in Digital Twins of Intelligent Systems
by: Zhang, Nan, et al.
Published: (2022)

From Safety Risk to Design Principle: Peer-Preservation in Multi-Agent LLM Systems and Its Implications for Orchestrated Democratic Discourse Analysis
by: Dietrich, Juergen
Published: (2026)

Semantic Consensus: Process-Aware Conflict Detection and Resolution for Enterprise Multi-Agent LLM Systems
by: Acharya, Vivek
Published: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

MemForest: An Efficient Agent Memory System with Hierarchical Temporal Indexing
by: Chen, Han, et al.
Published: (2026)

Nidus: Externalized Reasoning for AI-Assisted Engineering
by: Gorinevski, Danil
Published: (2026)

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
by: Dalugoda, Asiri
Published: (2026)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
by: Catta, Davide, et al.
Published: (2026)

Locality in Residuated-Lattice Structures
by: Carr, James
Published: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
by: Coniglio, M. E., et al.
Published: (2026)

A Sequent Calculus for General Inductive Definitions
by: Eede, Robbe Van den, et al.
Published: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
by: Coniglio, Marcelo E., et al.
Published: (2024)

Robust Computation Tree Logic
by: Nayak, Satya Prakash, et al.
Published: (2022)

Toolsuite for Implementing Multiagent Systems Based on Communication Protocols
by: Chopra, Amit K., et al.
Published: (2025)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

PRISM-Consult: A Panel-of-Experts Architecture for Clinician-Aligned Diagnosis
by: Levine, Lionel, et al.
Published: (2025)

The Illusion of Collusion
by: Douglas, Connor, et al.
Published: (2024)

Unattainability of Common Knowledge in Asymmetric Games with Imperfect Information
by: Farestam, Fabian, et al.
Published: (2025)

Interpretation as Linear Transformation: A Cognitive-Geometric Model of Belief and Meaning
by: Amornbunchornvej, Chainarong
Published: (2025)

SDOF: Taming the Alignment Tax in Multi-Agent Orchestration with State-Constrained Dispatch
by: Wang, Zhantao
Published: (2026)

IdeaForge: A Knowledge Graph-Grounded Multi-Agent Framework for Cross-Methodology Innovation Analysis and Patent Claim Generation
by: Bose, Joy
Published: (2026)

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
by: Mustafa, Daham, et al.
Published: (2026)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
by: Zhang, Xindi, et al.
Published: (2025)

Towards Computer-Using Personal Agents
by: Bonatti, Piero A., et al.
Published: (2025)

Adaptive GPU Resource Allocation for Multi-Agent Collaborative Reasoning in Serverless Environments
by: Zhang, Guilin, et al.
Published: (2025)