Browsing Engineering (Faculty of) by Author "Lu, Zhengyang"
Now showing items 1-2 of 2
-
AlphaSMT: A Reinforcement Learning Guided SMT Solver
Lu, Zhengyang (University of Waterloo, 2023-06-19)Satisfiability Modulo Theories (SMT) solvers are programs that decide whether a first-order logic formula is satisfiable. Over the last two decades, these solvers have become central to many methods and tools in fields as ... -
Modelling, Simulation and Control of Signalized Intersections under Adverse Weather Conditions
Lu, Zhengyang (University of Waterloo, 2016-04-28)Adverse winter weather has always been a cause of traffic congestion and road collisions. To mitigate the negative impacts of winter weather, transportation agencies have been introducing weather responsive traffic management ...