Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications | IEEE Conference Publication | IEEE Xplore