ENTITY GR(1)

GR(1)

PulseAugur coverage of GR(1) — every cluster mentioning GR(1) across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_181213 · Aug 2 · 21:15

New logic ATL*_mp combines strategic reasoning with mean-payoff guarantees

Researchers have introduced ATL*_mp, an extension of Alternating-Time Temporal Logic designed to combine strategic reasoning with quantitative mean-payoff guarantees. This new logic allows for the specification of strat…