Cover Image

Module checking of pushdown multi-agent systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bozzelli, Laura, Murano, Aniello, Peron, Adriano
Format:	Preprint
Published:	2020
Subjects:	Logic in Computer Science Formal Languages and Automata Theory Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Inquisitive Team Semantics of LTL
by: Bozzelli, Laura, et al.
Published: (2025)

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
by: Balakrishnan, Anand, et al.
Published: (2025)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
by: Zhao, Yiqi, et al.
Published: (2025)

The SCAN Statistical Model Checker
by: Ghiorzi, Enrico, et al.
Published: (2026)

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

Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking)
by: Lichtner, Kilian, et al.
Published: (2025)

The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games
by: Bhaduri, Purandar
Published: (2025)

Types for Grassroots Logic Programs
by: Shapiro, Ehud
Published: (2026)

A process algebraic framework for multi-agent dynamic epistemic systems
by: Aldini, Alessandro
Published: (2024)

Algorithmic analysis of systems with affine input and polynomial state
by: Clemente, Lorenzo
Published: (2025)

Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

Decoupled Planning for Multiple Omega-Regular Objectives
by: Avni, Guy, et al.
Published: (2026)

Message complexity for unary multiautomata systems
by: Choffrut, Christian
Published: (2024)

The role of counting quantifiers in laminar set systems
by: Campbell, Rutger, et al.
Published: (2025)

The theory of reachability in trace-pushdown systems
by: Kuske, Dietrich
Published: (2025)

Mean-payoff and Energy Discrete Bidding Games
by: Avni, Guy, et al.
Published: (2025)

Equilibria in Multiplayer Graph Games: An Algorithmic Study
by: Brice, Léonard
Published: (2026)

Randomise Alone, Reach as a Team
by: Brice, Léonard, et al.
Published: (2026)

Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning
by: Chakraborty, Debraj, et al.
Published: (2026)

Model-checking real-time systems: revisiting the alternating automaton route
by: Bouyer, Patricia, et al.
Published: (2025)

A Session Type System for Asynchronous Unreliable Broadcast Communication
by: Kouzapas, Dimitrios, et al.
Published: (2019)

sweap: Reactive Synthesis for Infinite-State Integer Problems
by: Azzopardi, Shaun, et al.
Published: (2026)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2025)

A proof theory of right-linear (omega-)grammars via cyclic proofs
by: Das, Anupam, et al.
Published: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
by: Barloy, Corentin, et al.
Published: (2025)

Positive First-order Logic on Words and Graphs
by: Kuperberg, Denis
Published: (2022)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

Function spaces for orbit-finite sets
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

Solvability of orbit-finite systems of linear equations
by: Ghosh, Arka, et al.
Published: (2022)

Bisimilarity in fresh-register automata
by: Murawski, Andrzej S., et al.
Published: (2020)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
by: Mandrioli, Dino, et al.
Published: (2020)

A Dichotomy Theorem for Automatic Structures
by: Cuvelier, Antoine, et al.
Published: (2026)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

The Queue Automaton Revisited
by: Baeten, Jos C. M., et al.
Published: (2025)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
by: Melgratti, Hernán, et al.
Published: (2023)

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

Determinization of Min-Plus Weighted Automata is Decidable
by: Almagor, Shaull, et al.
Published: (2025)

Unreliability in Practical Subclasses of Communicating Systems
by: Suresh, Amrita, et al.
Published: (2025)