2 Commits (62c35f5a7d038e47d75977ccdf4a64e03aeeb154)

Author SHA1 Message Date
Sebastian Junges 5d3319dfea simulator: action mode global names for MDPs 6 years ago
Sebastian Junges 789b836f87 simulator support for nondeterministic models 6 years ago