This package contains classes concerning the property-based control of the agent