Goal-Aware RSS for Complex Scenarios via Program Logic
Author: Ichiro Hasuo
Paper Information
| Title: | Goal-Aware RSS for Complex Scenarios via Program Logic |
| Authors: | Ichiro Hasuo |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | automated driving, safety, formal verification, theorem proving, differential dynamic logic, RSS |
| Pages: | 34 |
| Talk: | Jul 31 16:30 (Session 19D) |
| Paper: |  |