To give more info as I understand it (which may not be 100% accurate): essentially, ATSC is how the TV "sees/receives" the channels in the US while for the UK (I believe Europe in general) the system is called DVB-T/T2.