Practical Algorithms For Reliable Autonomy