Arbitrary Action Model Logic and Action Model Synthesis | IEEE Conference Publication | IEEE Xplore