Yes, DC-DC convertor is ok if can be set to a value slightly higher than the current battery voltage.   For example if the battery is 13.3 volt, set the convertor to 13.5 volts.   It is recommended that the convertor has current limiting, so if the battery draws more power than expected the convertor is not overloaded.