Decentralized Planning Using Probabilistic Hyperproperties

arXiv:2502.13621 · cs.LO, cs.AI · Submitted 2025-02-19 · Read on arXiv

cs.LO, cs.AI

Submitted: 2025-02-19

Updated: 2025-02-19

Comments: 11 pages, 1 figure, 2 tables. Accepted at AAMAS 2025: the 24th International Conference on Autonomous Agents and Multiagent Systems

Journal ref: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (2025) 1688 - 1697

DOI: 10.5555/3709347.3743804

Code: https://github.com/francescopont/hyper-synthesis

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Abstraction — 20× in this paper · explained in 1 episode
Trace — 14× in this paper · explained in 2 episodes
Verification — 14× in this paper · explained in 2 episodes
Dec-POMDP — 7× in this paper · explained in 2 episodes
Benchmark — 6× in this paper · explained in 2 episodes
Multi-Agent System — 4× in this paper · explained in 6 episodes
Reinforcement Learning — 3× in this paper · explained in 4 episodes
Robustness — 3× in this paper · explained in 5 episodes
Alternation — 2× in this paper · explained in 1 episode
Stochastic Dynamics — 2× in this paper · explained in 2 episodes
Consistency — 1× in this paper · explained in 3 episodes
Linear Temporal Logic — 1× in this paper
Linear Temporal Logic (LTL) — 1× in this paper · explained in 4 episodes
Markov Decision Process (MDP) — 1× in this paper · explained in 11 episodes
Probabilistic Finite Automata — 1× in this paper
Probabilistic Hyper Logic — 1× in this paper
Structural Constraints — 1× in this paper · explained in 2 episodes

Related papers