Luiz F. O. Chamon, Santiago Paternain, Alejandro Ribeiro: Counterfactual Programming for Optimal Control. L4DC 2020: 235-244