NUS Presidential Young Professor Kuldeep Meel and PhD Student wins Distinguished Paper Award at CAV 2023