Imagen de Portada

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yu, Qixian, Cao, Zining, Hui, Zong, Zhou, Yuan
Formato:	Preprint
Publicado:	2025
Materias:	Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Polyregular Model Checking
por: Lopez, Aliaume, et al.
Publicado: (2025)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
por: De Maria, Elisabetta, et al.
Publicado: (2026)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
por: Akshay, S., et al.
Publicado: (2024)

AS2FM: Enabling Statistical Model Checking of ROS 2 Systems for Robust Autonomy
por: Henkel, Christian, et al.
Publicado: (2025)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
por: Dotzel, Myra, et al.
Publicado: (2023)

Checking History-Determinism is NP-hard for Parity Automata
por: Prakash, Keya
Publicado: (2023)

Contract Based Program Models for Software Model Checking
por: Amilon, Jesper, et al.
Publicado: (2025)

Autonomous Task Planning for Heterogeneous Multi-Agent Systems
por: Tziola, Anatoli A., et al.
Publicado: (2022)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
por: Akshay, S, et al.
Publicado: (2023)

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
por: Zhang, Lan, et al.
Publicado: (2025)

On Higher Order Busy Beaver Function
por: Cao, Zining
Publicado: (2025)

Controller synthesis method for multi-agent system based on temporal logic specification
por: Huang, Ruohan, et al.
Publicado: (2025)

Learning Deterministic Multi-Clock Timed Automata
por: Teng, Yu, et al.
Publicado: (2024)

Temporal Causal Models as a Model of Computation
por: Gladyshev, Maksim, et al.
Publicado: (2026)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
por: Paul, Abhijit
Publicado: (2025)

Standard Automata Theory and Process Algebra
por: Yodaiken, Victor
Publicado: (2022)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
por: Stutz, Felix, et al.
Publicado: (2025)

WEX: Formal Specifications for Windows in Stream Processing
por: Hitarth, S, et al.
Publicado: (2022)

Conservative Perception Models for Probabilistic Verification
por: Cleaveland, Matthew, et al.
Publicado: (2025)

Learning EFSM Models with Registers in Guards
por: Vega, Germán, et al.
Publicado: (2024)

Computational Model for Parsing Expression Grammars
por: Rubtsov, Alexander, et al.
Publicado: (2024)

Regular Languages in the Sliding Window Model
por: Ganardi, Moses, et al.
Publicado: (2024)

Imposing Rules in Process Discovery: an Inductive Mining Approach
por: Norouzifar, Ali, et al.
Publicado: (2024)

More on Maximally Permissive Similarity Control of Discrete Event Systems
por: Wang, Yu, et al.
Publicado: (2024)

Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
por: Li, Elaine, et al.
Publicado: (2026)

Unambiguisability and Register Minimisation of Min-Plus Models
por: Almagor, Shaull, et al.
Publicado: (2025)

The rIC3 Hardware Model Checker
por: Su, Yuheng, et al.
Publicado: (2025)

Spatio-Temporal view on the Topological Functioning Model
por: Spichkova, Maria
Publicado: (2025)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
por: Tsai, Yun Chen, et al.
Publicado: (2025)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
por: Principato, Flavio T., et al.
Publicado: (2025)

Passive Model Learning of Visibly Deterministic Context-free Grammars
por: Muškardin, Edi, et al.
Publicado: (2025)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
por: Leys, Tim, et al.
Publicado: (2024)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
por: Li, Shuo, et al.
Publicado: (2023)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
por: Manini, Andrea, et al.
Publicado: (2025)

Active Inference of Extended Finite State Machine Models with Registers and Guards
por: Groz, Roland, et al.
Publicado: (2026)

Simplifying LTL Model Checking Given Prior Knowledge
por: Duret-Lutz, Alexandre, et al.
Publicado: (2025)

Determinism in Multi-Soliton Automata
por: Bordihn, Henning, et al.
Publicado: (2024)

Model Checking Temporal Properties of Recursive Probabilistic Programs
por: Winkler, Tobias, et al.
Publicado: (2021)

History-Constrained Systems
por: Kuijer, Louwe B., et al.
Publicado: (2026)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
por: Briones, Laura Brandán, et al.
Publicado: (2025)