Minigrid2PRISM

Author	SHA1	Message	Date
sp	2e51e51320	introduced new slippery tiles	1 year ago
Thomas Knoll	acf32fbb98	added example for module	1 year ago
Thomas Knoll	88f5e2e4fd	more overwrites	1 year ago
sp	12b08ab068	set modelType based on the amount of agents	1 year ago
sp	aa6fd9219e	removed GridOptions	1 year ago
sp	8c6a2bf327	moved probIntended to Grid members	1 year ago
sp	14e6375877	faultyProbability is float	1 year ago
sp	13974739d9	commit to (col, row)	1 year ago
sp	1729ba7c56	summary commit added cells for balls more formulas in PrismFormulaPrinter	1 year ago
Thomas Knoll	401b23fedd	parsing fault prob	1 year ago
Thomas Knoll	4dd5e07d02	added model type inference	2 years ago
Thomas Knoll	e4cddbe9de	init struct handling changs	2 years ago
Thomas Knoll	0d8b5bc0c2	added module config added overwrite some fixes	2 years ago
Thomas Knoll	42d0f4d6d9	changed to yaml config	2 years ago
Thomas Knoll	0a0d836968	added config print	2 years ago
Thomas Knoll	56e569890e	added basic config parser added unlocked door handling	2 years ago
sp	85d0cbc81f	initial commit after modifications for Importance Driven Testing	2 years ago