tempest

0 Tags

187 MiB

Author	SHA1	Message	Date
Matthias Volk	8b87d79c3e	Removed copy-pasted references to DFTs	7 years ago
Matthias Volk	cbd709f0cd	Fixed assertion	7 years ago
Sebastian Junges	a34ca5c9ac	dont go on as soon as trivial command set is necessary	7 years ago
Sebastian Junges	73900f1bbe	advanced stopping criteria for multi-counterexamples, additional measurements for cuts, an option to properly disable backward implications, and some cleaning	7 years ago
Sebastian Junges	ac9d9d6778	fix in counterexamples for lower bounds that was recently introduced	7 years ago
Sebastian Junges	6051363782	initial support for multi-reward structures in counterexample generation	7 years ago
Sebastian Junges	6e2e3d452d	minor fixes in counterexample generation	7 years ago
Sebastian Junges	98969e627c	updated counterexamples to support statistics to be exported	7 years ago
Sebastian Junges	0be0126095	fixed support for highlevel counterex for expected rewards in dtmcs	7 years ago
sjunges	8478352030	dynamic constraints and minimality labels	8 years ago
sjunges	39698d6ecb	fix install of storm-counterexamples	8 years ago
sjunges	6dfce6a405	extended counterexamples towards expected rewards, and moved counterexamples to a seperate lib (still in main cli) to slightly accelarate building times	8 years ago