From ATL to Stit
From MaRDI portal
Abstract: I present a technical embedding of alternating-time temporal logic into stit theory.
This page was built for publication: From ATL to Stit
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6426476)
