Final.

5ec4897e · Nicola Botta · 001d4f0b · 5ec4897e · 5ec4897e · 5ec4897e
Commit 5ec4897e authored Sep 23, 2021 by Nicola Botta
--- a/2021.On the Correctness of Monadic Backward Induction/Brede,Botta-CorrectnessMonadicBI_R1_submitted_2021-02-23.pdf
+++ b/2021.On the Correctness of Monadic Backward Induction/Brede,Botta-CorrectnessMonadicBI_R1_submitted_2021-02-23.pdf
--- a/2021.On the Correctness of Monadic Backward Induction/Brede,Botta-CorrectnessMonadicBI_final_2021-09-01.pdf
+++ b/2021.On the Correctness of Monadic Backward Induction/Brede,Botta-CorrectnessMonadicBI_final_2021-09-01.pdf
--- a/2021.On the Correctness of Monadic Backward Induction/Brede,Botta-SemanticVerificationOfDynamicProgramming_submitted_2020-07-14.pdf
+++ b/2021.On the Correctness of Monadic Backward Induction/Brede,Botta-SemanticVerificationOfDynamicProgramming_submitted_2020-07-14.pdf
--- a/2021.On the Correctness of Monadic Backward Induction/README.md
+++ b/2021.On the Correctness of Monadic Backward Induction/README.md
@@ -36,6 +36,8 @@ under grant agreement No 820970.
 * 2021-02-23: Submitted revised manuscript (R1)
 * 2021-05-26: Decision: Major revision
 * 2021-07-22: Submitted revised manuscript (R2)
+* 2021-08-28: Decision: Accepted with very minor revision
+* 2021-09-01: Submitted revised manuscript (final)

 ---