BriefGPT.xyz
May, 2023
策略逻辑中的折扣
Discounting in Strategy Logic
HTML
PDF
Munyque Mittelmann, Aniello Murano, Laurent Perrussel
TL;DR
本文将未来折扣引入策略逻辑中，并研究了SLdisc[D]-formula的模型检查。
Abstract
discounting
is an important dimension in
multi-agent systems
as long as we want to reason about strategies and time. It is a key aspect in economics as it captures the intuition that the far-away future is not as
→