Optimal Multi-Valued LTL Planning for Systems with Access Right Levels | IEEE Conference Publication | IEEE Xplore