Protocol Verification in a Theory of Action.

Aaron Hunter, James P. Delgrande, Ryan McBride

Browse the full AI paper archive.