Cover Image

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kim, Yan, Jamroga, Wojciech, Penczek, Wojciech, Petrucci, Laure
Format:	Preprint
Published:	2025
Subjects:	Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Probabilistic Strategic Timed CTL
by: Jamroga, Wojciech, et al.
Published: (2026)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
by: Jamroga, Wojciech, et al.
Published: (2020)

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

Verification of Multi-Agent Properties in Electronic Voting: A Case Study
by: Kurpiewski, Damian, et al.
Published: (2023)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
by: Jamroga, Wojciech, et al.
Published: (2025)

IMITATOR4AMAS: Strategy Synthesis for STCTL
by: Catta, Davide, et al.
Published: (2026)

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
by: Kurpiewski, Damian, et al.
Published: (2025)

Multi-Agent Fact Checking
by: Verma, Ashwin, et al.
Published: (2025)

Data-Driven Cooperative Output Regulation of Continuous-Time Multi-Agent Systems with Unknown Network Topology
by: Ren, Peng, et al.
Published: (2024)

Cooperative Multi-Agent Learning for Navigation via Structured State Abstraction
by: Abdelaziz, Mohamed K., et al.
Published: (2023)

Behavior Modeling for Training-free Building of Private Domain Multi Agent System
by: Cho, Won Ik, et al.
Published: (2025)

COCO: Cognitive Operating System with Continuous Oversight for Multi-Agent Workflow Reliability
by: Liang, Churong, et al.
Published: (2025)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)

Arbitrary-Order Distributed Finite-Time Differentiator for Multi-Agent Systems
by: Chen, Weile, et al.
Published: (2024)

Liquid-Graph Time-Constant Network for Multi-Agent Systems Control
by: Marino, Antonio, et al.
Published: (2024)

KAOS: Large Model Multi-Agent Operating System
by: Zhuo, Zhao, et al.
Published: (2024)

Turn-based Multi-Agent Reinforcement Learning Model Checking
by: Gross, Dennis
Published: (2025)

Decentralized Unlabeled Multi-Agent Navigation in Continuous Space
by: Dergachev, Stepan, et al.
Published: (2024)

Continuous-Time Value Iteration for Multi-Agent Reinforcement Learning
by: Wang, Xuefeng, et al.
Published: (2025)

Generalized Per-Agent Advantage Estimation for Multi-Agent Policy Optimization
by: Kim, Seongmin, et al.
Published: (2026)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
by: Ajeleye, Daniel, et al.
Published: (2024)

Multi-Agent Systems Should be Treated as Principal-Agent Problems
by: Rauba, Paulius, et al.
Published: (2026)

Probabilistic Multi-Agent Aircraft Landing Time Prediction
by: Kim, Kyungmin, et al.
Published: (2025)

An Agent-Centric Dynamical Systems Perspective on Multi-Agent Reinforcement Learning
by: Rudd-Jones, James, et al.
Published: (2025)

Asynchronous Multi-Agent Systems with Petri nets
by: Adobbati, Federica, et al.
Published: (2025)

Achilles Heel of Distributed Multi-Agent Systems
by: Zhang, Yiting, et al.
Published: (2025)

Transparency as Delayed Observability in Multi-Agent Systems
by: Dwarakanath, Kshama, et al.
Published: (2024)

Safe Continuous-time Multi-Agent Reinforcement Learning via Epigraph Form
by: Wang, Xuefeng, et al.
Published: (2026)

Finite-Time Analysis of Asynchronous Multi-Agent TD Learning
by: Fabbro, Nicolò Dal, et al.
Published: (2024)

Recursive Multi-Agent Trading System: Iterative Optimized Portfolio Strategy Under Geopolitical Uncertainty
by: Yang, Jing, et al.
Published: (2026)

Implicitly Aligning Humans and Autonomous Agents through Shared Task Abstractions
by: Aroca-Ouellette, Stéphane, et al.
Published: (2025)

What Do Agents Communicate? Characterizing Information Exchange in Multi-Agent Systems
by: Chun, Yong Jin, et al.
Published: (2026)

AutoGenesisAgent: Self-Generating Multi-Agent Systems for Complex Tasks
by: Harper, Jeremy
Published: (2024)

Emergence in Multi-Agent Systems: A Safety Perspective
by: Altmann, Philipp, et al.
Published: (2024)

Socialized Learning and Emergent Behaviors in Multi-Agent Systems based on Multimodal Large Language Models
by: Akin, Sureyya, et al.
Published: (2025)

Safe Multi-Agent Behavior Must Be Maintained, Not Merely Asserted: Constraint Drift in LLM-Based Multi-Agent Systems
by: Li, Tianxiao, et al.
Published: (2026)

Stable Task Allocation in Multi-Agent Systems with Lexicographic Preferences
by: Reveliotis, Spyros, et al.
Published: (2025)

Predictive Auxiliary Learning for Belief-based Multi-Agent Systems
by: Huang, Qinwei, et al.
Published: (2025)

Adaptive Orchestration: Scalable Self-Evolving Multi-Agent Systems
by: Sampath, Sathish, et al.
Published: (2026)

Tree-based Credit Assignment for Multi-Agent Memory System
by: Mao, Marina, et al.
Published: (2026)