From ATL to Stit
arXiv:2302.07332
Abstract
I present a technical embedding of alternating-time temporal logic into stit theory.
arXiv commentPreprint
arXiv:2302.07332
I present a technical embedding of alternating-time temporal logic into stit theory.
arXiv commentPreprint