From ATL to Stit

02/14/2023

∙

by   Aldo Iván Ramírez Abarca, et al.

∙

0

∙

share

I present a technical embedding of alternating-time temporal logic into stit theory.