A process algebra with guarded choice and recursion is compiled to global and then projected local Mealy machines that filter safe joint actions for each agent in Dec-POMDPs using belief-style state subsets.
Mealy (1955): A method for synthesizing sequential circuits
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Mutual coupling enables quadratic endfire beamforming gain scaling with antenna number in holographic MIMO for low-loss arrays with spacings slightly below half-wavelength.
citing papers explorer
-
Generating Local Shields for Decentralised Partially Observable Markov Decision Processes
A process algebra with guarded choice and recursion is compiled to global and then projected local Mealy machines that filter safe joint actions for each agent in Dec-POMDPs using belief-style state subsets.
-
Super-Beamforming in Holographic MIMO
Mutual coupling enables quadratic endfire beamforming gain scaling with antenna number in holographic MIMO for low-loss arrays with spacings slightly below half-wavelength.