Are those sensors programmed into the panel still? Can you confirm the names of the sensors as they appear in Alarm.com so that we can check the programming?
Can you provide a photo of their sensor label?
I’m not aware of specific issues but it is always good to update firmware to rule it out. It looks like you are on 4.3.0. You would need to update twice to get to the latest. 4.4.2 first, then on to 4.5.1.