Cover Image

Verification of Multi-Agent Properties in Electronic Voting: A Case Study

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kurpiewski, Damian, Jamroga, Wojciech, Maśko, Łukasz, Mikulski, Łukasz, Pazderski, Witold, Penczek, Wojciech, Sidoruk, Teofil
Format:	Preprint
Published:	2023
Subjects:	Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

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

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

Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems
by: Kim, Yan, et al.
Published: (2025)

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

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

MACTAS: Self-Attention-Based Inter-Agent Communication in Multi-Agent Reinforcement Learning with Action-Value Function Decomposition
by: Wojtala, Maciej, et al.
Published: (2025)

Autonomous vehicles need social awareness to find optima in multi-agent reinforcement learning routing games
by: Psarou, Anastasia, et al.
Published: (2025)

Logic-Based Verification of Task Allocation for LLM-Enabled Multi-Agent Manufacturing Systems
by: Lim, Jonghan, et al.
Published: (2026)

Debate or Vote: Which Yields Better Decisions in Multi-Agent Large Language Models?
by: Choi, Hyeong Kyu, et al.
Published: (2025)

Voting or Consensus? Decision-Making in Multi-Agent Debate
by: Kaesberg, Lars Benedikt, et al.
Published: (2025)

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

Generalising Travel Time Prediction To Varying Route Choices In Urban Networks
by: Gorczyca, Łukasz, et al.
Published: (2026)

The Communication Complexity of Instant-Runoff Voting
by: de Panafieu, Élie, et al.
Published: (2026)

BioResearcher: Scenario-Guided Multi-Agent for Translational Medicine
by: Kinas, Remigiusz, et al.
Published: (2026)

RouteRL: Multi-agent reinforcement learning framework for urban route choice with autonomous vehicles
by: Akman, Ahmet Onur, et al.
Published: (2025)

Adaptive Traffic Signal Control based on Multi-Agent Reinforcement Learning. Case Study on a simulated real-world corridor
by: Kwesiga, Dickness Kakitahi, et al.
Published: (2025)

Can LLM Agents Really Debate? A Controlled Study of Multi-Agent Debate in Logical Reasoning
by: Wu, Haolun, et al.
Published: (2025)

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
by: Dudek, Wojciech, et al.
Published: (2023)

Climate Surrogates for Scalable Multi-Agent Reinforcement Learning: A Case Study with CICERO-SCM
by: Lassen, Oskar Bohn, et al.
Published: (2025)

Agent-Based Modelling of Older Adult Needs for Autonomous Mobility-on-Demand: A Case Study in Winnipeg, Canada
by: Prédhumeau, Manon, et al.
Published: (2024)

From Cooperation to Hierarchy: A Study of Dynamics of Hierarchy Emergence in a Multi-Agent System
by: Mao, Shanshan, et al.
Published: (2026)

Network Topology and Information Efficiency of Multi-Agent Systems: Study based on MARL
by: Zhang, Xinren, et al.
Published: (2025)

Deception and Communication in Autonomous Multi-Agent Systems: An Experimental Study with Among Us
by: Milkowski, Maria, et al.
Published: (2026)

Generalizing Liquid Democracy to multi-agent delegation: A Voting Weight Measure and Equilibrium Analysis
by: Bersetche, Francisco M.
Published: (2022)

Query Optimization Beyond Data Systems: The Case for Multi-Agent Systems
by: Kaoudi, Zoi, et al.
Published: (2025)

IFPV: An Integrated Multi-Agent Framework for Generative Operational Planning and High-Fidelity Plan Verification
by: Huang, Zhigao, et al.
Published: (2026)

Norm Violation Detection in Multi-Agent Systems using Large Language Models: A Pilot Study
by: He, Shawn, et al.
Published: (2024)

Multi-Agent Reinforcement Learning for Autonomous Multi-Satellite Earth Observation: A Realistic Case Study
by: Hady, Mohamad A., et al.
Published: (2025)

PBFT-Backed Semantic Voting for Multi-Agent Memory Pruning
by: Bach, Duong
Published: (2025)

Model Proficiency in Centralized Multi-Agent Systems: A Performance Study
by: Guerra, Anna, et al.
Published: (2025)

Multi-Agent Synchronization Tasks
by: Fernandez, Rolando, et al.
Published: (2024)

ClimateAgents: A Multi-Agent Research Assistant for Social-Climate Dynamics Analysis
by: Shan, Shan
Published: (2026)

Trusted AI Agents in the Cloud
by: Bodea, Teofil, et al.
Published: (2025)

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

MARPF: Multi-Agent and Multi-Rack Path Finding
by: Makino, Hiroya, et al.
Published: (2024)

Fair Voting Outcomes with Impact and Novelty Compromises? Unraveling Biases in Electing Participatory Budgeting Winners
by: Maharjan, Sajan, et al.
Published: (2024)

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