Brittlestars or seastars????
I think you mean Asterina stars, which are not brittlestars, but seastars.
Yes, they have been known to eat coralline (brittlestars do not).
In most cases, coralline grows back quickly, especially considering the rate at which a seastar can consume it.
There are not too many ways to get rid of them effectively...some people may buy them (since I am assuming most have quickly growing coralline).
You could just remove them by hand. I am not a fan of adding specialist feeders (such as harlequin shrimp) to remove such things.
Do you see coralline growth in general in your tank? If not, you may wish to address the causes of that.