LTSmin does not support complex names
Apparently, the LTL parser of LTSmin is a quite sensitive and only do not support atomic proposition with "/" and "."
Apparently, the LTL parser of LTSmin is a quite sensitive and only do not support atomic proposition with "/" and "."