Lévai Balázs László: Automatic design of LED street lights.
Lévai Balázs László: Automatic failure detection and monitoring of ventilation and cooling systems.
Lévai Balázs László: Verified localization of trajectories with prescribed behaviour in the forced damped pendulum.