There are a fair amount of options in the regular scheduler. For more elaborate functions you may need the more elaborate quantifier stuff, and perhaps even properties parts, but that is not for the faint of heart. You need to be more specific about what you seek to do in order to know what you need to use.