storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Prism parser: Player is a keyword for MDPs

Open sjunges opened this issue 1 year ago • 2 comments

Imho, player should only be a reserved keyword when parsing games. In particular, player is not a keyword for regular prism and thus, marking player as a keywords yields incompatibility with prism.

sjunges avatar Mar 10 '23 14:03 sjunges

See also #319

sjunges avatar Mar 20 '23 13:03 sjunges

Based on a discussion with @tquatmann a simple fix may to make player not a keyword.

sjunges avatar Mar 23 '23 23:03 sjunges