dawsonc/shield_mppi_dreal

Checking the Shield-MPPI algorithm correctness using dreal.

Python