How do I make my hero banner automatically rotate?

Hi guys, I have a hero banner on the home page of my website here:

https://www.anchorhotelhaydonbridge.com/newsite/

You need to click the 4 buttons under it to change the image. Is there any way I can make the banner also change automatically?

Thanks in advance,

Paul