Imagen de Portada

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ferrando, Angelo, Malvone, Vadim
Formato:	Preprint
Publicado:	2024
Materias:	Multiagent Systems Logic in Computer Science Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Runtime Verification via Rational Monitor with Imperfect Information
por: Ferrando, Angelo, et al.
Publicado: (2024)

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

A Timed Obstruction Logic for Dynamic Game Models
por: Cortes, David, et al.
Publicado: (2025)

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
por: Aruta, Marco, et al.
Publicado: (2025)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
por: Ferrando, Angelo
Publicado: (2025)

3D Topological Modeling and Multi-Agent Movement Simulation for Viral Infection Risk Analysis
por: Jabi, Wassim, et al.
Publicado: (2024)

Varanus: Runtime Verification for CSP
por: Luckcuck, Matt, et al.
Publicado: (2025)

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

Verification of Robust Multi-Agent Systems
por: Berthon, Raphaël, et al.
Publicado: (2026)

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

ToolRosella: Translating Code Repositories into Standardized Tools for Scientific Agents
por: Di, Shimin, et al.
Publicado: (2026)

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems
por: Garcia-Alcalde, Sofia Garcia de Blas, et al.
Publicado: (2025)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling
por: Chakraborty, Pinaki, et al.
Publicado: (2025)

ABMax: A JAX-based Agent-based Modeling Framework
por: Chaturvedi, Siddharth, et al.
Publicado: (2025)

Bridging the Prototype-Production Gap: A Multi-Agent System for Notebooks Transformation
por: Elhashemy, Hanya, et al.
Publicado: (2025)

Probabilistic Model Checking Taken by Storm
por: Volk, Matthias, et al.
Publicado: (2026)

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

Fairness in Multi-Agent Systems for Software Engineering: An SDLC-Oriented Rapid Review
por: Yang-Smith, Corey, et al.
Publicado: (2026)

A Generic Modelling Framework for Last-Mile Delivery Systems
por: Gürcan, Önder, et al.
Publicado: (2025)

Analyzing Code Injection Attacks on LLM-based Multi-Agent Systems in Software Development
por: Bowers, Brian, et al.
Publicado: (2025)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
por: Murray, Yvonne, et al.
Publicado: (2024)

AutoFSM: A Multi-agent Framework for FSM Code Generation with IR and SystemC-Based Testing
por: Luo, Qiuming, et al.
Publicado: (2025)

AgentGit: A Version Control Framework for Reliable and Scalable LLM-Powered Multi-Agent Systems
por: Li, Yang, et al.
Publicado: (2025)

Runtime Composition in Dynamic System of Systems: A Systematic Review of Challenges, Solutions, Tools, and Evaluation Methods
por: Ashfaq, Muhammad, et al.
Publicado: (2025)

HEAS: Hierarchical Evolutionary Agent-Based Simulation Framework for Multi-Objective Policy Search
por: Zhang, Ruiyu, et al.
Publicado: (2025)

Modelling Real-time Systems with Bigraphs
por: Albalwe, Maram, et al.
Publicado: (2025)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
por: Zhang, Changjian, et al.
Publicado: (2023)

Agent-Oriented Visual Programming for the Web of Things
por: Burattini, Samuele, et al.
Publicado: (2025)

Checking the HAL Interface Specification Continuously, Right from the Start
por: Bentele, Manuel, et al.
Publicado: (2025)

Compositionality of Systems and Partially Ordered Runs
por: Fettke, Peter, et al.
Publicado: (2026)

ResearchCodeAgent: An LLM Multi-Agent System for Automated Codification of Research Methodologies
por: Gandhi, Shubham, et al.
Publicado: (2025)

BootstrapAgent: Distilling Repository Setup into Reusable Agent Knowledge
por: Fu, Sihan, et al.
Publicado: (2026)

Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
por: Barth, Max, et al.
Publicado: (2025)

Nexus: A Lightweight and Scalable Multi-Agent Framework for Complex Tasks Automation
por: Sami, Humza, et al.
Publicado: (2025)

Extending the OWASP Multi-Agentic System Threat Modeling Guide: Insights from Multi-Agent Security Research
por: Krawiecka, Klaudia, et al.
Publicado: (2025)

Cognitive Agents Powered by Large Language Models for Agile Software Project Management
por: Cinkusz, Konrad, et al.
Publicado: (2025)

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

ChatDev: Communicative Agents for Software Development
por: Qian, Chen, et al.
Publicado: (2023)

EnergyTwin: A Multi-Agent System for Simulating and Coordinating Energy Microgrids
por: Muszyński, Jakub, et al.
Publicado: (2025)

LDP: An Identity-Aware Protocol for Multi-Agent LLM Systems
por: Prakash, Sunil
Publicado: (2026)