PulseAugur
EN
LIVE 11:59:22
ENTITY Alternating-time Temporal Logic

Alternating-time Temporal Logic

PulseAugur coverage of Alternating-time Temporal Logic — every cluster mentioning Alternating-time Temporal Logic across labs, papers, and developer communities, ranked by signal.

Show in brief
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
  1. RESEARCH · CL_181213 ·

    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…