16 citations · 18 across the 2 of their papers we have counts for
2 papers
cs.RO2022★ 16 cited
Goal-Aware RSS for Complex Scenarios via Program Logic
Ichiro Hasuo, Clovis Eberhart, James Haydon +12
We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS r…
math.AP2012★ 2 cited
Remarks of Global Wellposedness of Liquid Crystal Flows and Heat Flows of Harmonic Maps in Two Dimensions
Zhen Lei, Dong Li, Xiaoyi Zhang
We consider the Cauchy problem to the two-dimensional incompressible liquid crystal equation and the heat flows of harmonic maps equation. Under a natural geometric angle condition…