Action Synthesis for Branching Time Logic: Theory and Applications | IEEE Conference Publication | IEEE Xplore