Search Results for author:
Found 5 papers, 2 papers with code
Parameterized Decision-making with Multi-modal Perception for Autonomous Driving
Autonomous driving is an emerging technology that has advanced rapidly over the last decade.
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems
A reset controller plays a crucial role in designing hybrid systems.
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller
Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability of hybrid systems in a correct-by-construction manner.
Giant Panda Face Recognition Using Small Dataset
Cameras have been widely installed in the regions where pandas live.
STAR: A Concise Deep Learning Framework for Citywide Human Mobility Prediction
Human mobility forecasting in a city is of utmost importance to transportation and public safety, but with the process of urbanization and the generation of big data, intensive computing and determination of mobility pattern have become challenging.
