Christopher Lazarus

Tunku Abdul Rahman University of Management and Technology — Malaysia

Computer Science · Physical Sciences

4h-index597citations11works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Adversarial Robustness in Machine Learning(5), Health, Medicine and Society(3), Hermeneutics and Narrative Identity(3), Aging, Elder Care, and Social Issues(3), Explainable Artificial Intelligence (XAI)(2)

Publications11 total

Towards Affordable Smart Aquaponics: A Review and Proposal for Low-Cost Nutrient Monitoring
2025
Deep Binary Reinforcement Learning for Scalable Verification
arXiv (Cornell University)·2022Open Access
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
arXiv (Cornell University)·2022· 3 citedOpen Access
Capabilities and Service Provision by Learning Centers in Malaysia in Supporting Manufacturing Enterprise Digital Transformation Journey
2021Open Access
Algorithms for Verifying Deep Neural Networks
Foundations and Trends® in Optimization·2020· 65 cited
Runtime Safety Assurance Using Reinforcement Learning
2020Open Access
Algorithms for Verifying Deep Neural Networks
arXiv (Cornell University)·2019· 35 citedOpen Access
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Lecture notes in computer science·2019· 470 citedOpen Access
Pareto-Dominance Based MOGP for Evolving Soccer Agents
2015· 1 cited
Evolving Goalkeeper Behaviours for Simulated Soccer Competition
2003· 2 cited
Using Genetic Programming to Evolve Robot Behaviours
2001· 21 cited

Frequent Co-authors

Mykel J. Kochenderfer(6), Clark Barrett(3), Changliu Liu(2), Tomer Arnon(2), Christopher A. Strong(2), Huosheng Hu(2), Guy Katz(1), Derek A. Huang(1), Duligur Ibeling(1), Kyle D. Julian(1), Rachel Lim(1), Parth Shah(1), Shantanu Thakoor(1), Haoze Wu(1), Aleksandar Zeljić(1), David L. Dill(1), James G. Lopez(1), Chan Huang Yong(1), Wah Pheng Lee(1), Kong Woun Tan(1)