16 citations · 29 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…
cs.LO2022
Chemical Case Studies in KeYmaera X
Rose Bohrer
Safety-critical chemical processes are the backbone of multi-billion-dollar industries, thus society deserves the strongest possible guarantees that they are safe. To that end, mod…