The Quest for Reliable Autonomous Robot Control Systems: A Progress Report