A Logic for Changing the Rules Mid-Game: ATL-D Lets You Grant and Revoke Agent Actions on the Fly

A Logic for Changing the Rules Mid-Game: ATL-D Lets You Grant and Revoke Agent Actions on the Fly | BedrockNews