1 citations · 2 across the 4 of their papers we have counts for
4 papers
Low-symmetry polymorph of GaP upends bonding paradigms of metallic high-pressure III-V compounds
Barbara Lavina, Enrique Zanardi, Andrés Mujica +4
The pressure-induced polymorphism of binary octect compounds has long been considered a settled problem although the possible atomic disordering of some phases remains a puzzling o…
Hybrid Systems Neural Control with Region-of-Attraction Planner
Yue Meng, Chuchu Fan
Hybrid systems are prevalent in robotics. However, ensuring the stability of hybrid systems is challenging due to sophisticated continuous and discrete dynamics. A system with all…
ConBaT: Control Barrier Transformer for Safe Policy Learning
Yue Meng, Sai Vemprala, Rogerio Bonatti +2
Large-scale self-supervised models have recently revolutionized our ability to perform a variety of tasks within the vision and language domains. However, using such models for aut…
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning
Yue Meng, Zeng Qiu, Md Tawhid Bin Waez +1
Density of the reachable states can help understand the risk of safety-critical systems, especially in situations when worst-case reachability is too conservative. Recent work prov…