Author of the publication

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*.

, , , , and . ICRA, page 5607-5613. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Rollout-Based Charging Strategy for Electric Trucks with Hours-of-Service Regulations., , , and . CoRR, (2023)Flash-LLM: Enabling Low-Cost and Highly-Efficient Large Generative Model Inference With Unstructured Sparsity., , , , , , , , and . Proc. VLDB Endow., 17 (2): 211-224 (2023)A hierarchical control system for smart parking lots with automated vehicles: Improve efficiency by leveraging prediction of human drivers., , and . ECC, page 2675-2681. IEEE, (2019)Reinforcement Learning Based Approach for Flip Attack Detection., , , , and . CDC, page 3212-3217. IEEE, (2020)Exploiting Kernel Sparsity and Entropy for Interpretable CNN Compression., , , , , , , and . CVPR, page 2800-2809. Computer Vision Foundation / IEEE, (2019)Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*., , , , and . ICRA, page 5607-5613. IEEE, (2019)Accelerating Convolutional Networks via Global & Dynamic Filter Pruning., , , , , and . IJCAI, page 2425-2432. ijcai.org, (2018)The connected vertex cover problem in k-regular graphs., , and . J. Comb. Optim., 38 (2): 635-645 (2019)Dynamic Programming for Positive Linear Systems with Linear Costs.. CoRR, (2023)You Only Compress Once: Towards Effective and Elastic BERT Compression via Exploit-Explore Stochastic Nature Gradient., , , , , , , , , and . CoRR, (2021)