Research graph
References from A Formally Verified N-Dimensional Safety Shield for Autonomous Systems. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1109/iv64158.2025.11097688
10.1109/iv64158.2025.11097688 · External reference
Unresolved reference
External reference
10.1007/3-540-45657-0_30
10.1007/3-540-45657-0_30 · 2002 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1109/iv48863.2021.9575528
10.1109/iv48863.2021.9575528 · External reference
10.1007/11814771_23
10.1007/11814771_23 · 2006 · External reference
10.1201/b20053-5
10.1201/b20053-5 · External reference
10.1007/978-3-032-01486-3_8
10.1007/978-3-032-01486-3_8 · External reference
10.1177/0361198120948507
10.1177/0361198120948507 · External reference
10.1007/978-3-642-39799-8_18
10.1007/978-3-642-39799-8_18 · 2013 · External reference
10.1007/978-3-031-94533-5_15
10.1007/978-3-031-94533-5_15 · 2026 · External reference
10.1016/j.robot.2023.104549
10.1016/j.robot.2023.104549 · External reference
10.1109/jproc.2011.2160929
10.1109/jproc.2011.2160929 · External reference
10.1016/j.scico.2021.102765
10.1016/j.scico.2021.102765 · External reference
10.1007/978-3-030-43520-2_11
10.1007/978-3-030-43520-2_11 · 2020 · External reference
10.3233/sat190012
10.3233/sat190012 · External reference
10.1007/s10009-007-0062-x
10.1007/s10009-007-0062-x · External reference
10.1007/978-3-642-22110-1_30
10.1007/978-3-642-22110-1_30 · 2011 · External reference
10.29007/fnzc
10.29007/fnzc · External reference
10.1016/j.aap.2022.106799
10.1016/j.aap.2022.106799 · External reference
10.1109/tiv.2022.3169762
10.1109/tiv.2022.3169762 · External reference
10.1109/itsc57777.2023.10421868
10.1109/itsc57777.2023.10421868 · External reference
10.48550/arxiv.2005.00326
10.48550/arxiv.2005.00326 · External reference
10.1145/3359986.3361203
10.1145/3359986.3361203 · External reference
10.1007/3-540-63166-6_48
10.1007/3-540-63166-6_48 · 1997 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1016/j.aap.2017.12.001
10.1016/j.aap.2017.12.001 · 2018 · External reference
10.29007/1973
10.29007/1973 · External reference
10.1007/978-3-662-46681-0_15
10.1007/978-3-662-46681-0_15 · 2015 · External reference
10.1007/s10514-024-10163-7
10.1007/s10514-024-10163-7 · External reference
Unresolved reference
External reference
10.1109/itsc.2011.6083138
10.1109/itsc.2011.6083138 · External reference
10.1007/978-3-642-21437-0_6
10.1007/978-3-642-21437-0_6 · 2011 · External reference
10.1007/s43684-025-00112-1
10.1007/s43684-025-00112-1 · External reference
10.1109/iv51971.2022.9827153
10.1109/iv51971.2022.9827153 · External reference
10.1109/ivs.2018.8500490
10.1109/ivs.2018.8500490 · External reference
10.1109/tiv.2020.3017342
10.1109/tiv.2020.3017342 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/s10817-024-09709-2
10.1007/s10817-024-09709-2 · External reference
Unresolved reference
External reference
10.1109/dasc.2015.7311421
10.1109/dasc.2015.7311421 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/978-3-319-63588-0
10.1007/978-3-319-63588-0 · External reference
10.1007/978-3-031-94533-5_17
10.1007/978-3-031-94533-5_17 · External reference
10.1088/1757-899x/898/1/012002
10.1088/1757-899x/898/1/012002 · 2020 · External reference
10.1109/iv48863.2021.9575602
10.1109/iv48863.2021.9575602 · External reference
Unresolved reference
External reference
10.1007/978-3-031-38828-6_9
10.1007/978-3-031-38828-6_9 · External reference
10.1016/j.scico.2014.04.015
10.1016/j.scico.2014.04.015 · 2014 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1016/j.trc.2021.102988
10.1016/j.trc.2021.102988 · External reference
10.3390/vehicles7020028
10.3390/vehicles7020028 · External reference
10.1007/11814771_23
10.1007/11814771_23 · ExternalCitation · doi-reference
10.1007/3-540-45657-0_30
10.1007/3-540-45657-0_30 · ExternalCitation · doi-reference
10.1007/3-540-63166-6_48
10.1007/3-540-63166-6_48 · ExternalCitation · doi-reference
10.1007/978-3-030-43520-2_11
10.1007/978-3-030-43520-2_11 · ExternalCitation · doi-reference
10.1007/978-3-031-38828-6_9
10.1007/978-3-031-38828-6_9 · ExternalCitation · doi-reference
10.1007/978-3-031-94533-5_15
10.1007/978-3-031-94533-5_15 · ExternalCitation · doi-reference
10.1007/978-3-031-94533-5_17
10.1007/978-3-031-94533-5_17 · ExternalCitation · doi-reference
10.1007/978-3-032-01486-3_8
10.1007/978-3-032-01486-3_8 · ExternalCitation · doi-reference
10.1007/978-3-319-63588-0
10.1007/978-3-319-63588-0 · ExternalCitation · doi-reference
10.1007/978-3-642-21437-0_6
10.1007/978-3-642-21437-0_6 · ExternalCitation · doi-reference
10.1007/978-3-642-22110-1_30
10.1007/978-3-642-22110-1_30 · ExternalCitation · doi-reference
10.1007/978-3-642-39799-8_18
10.1007/978-3-642-39799-8_18 · ExternalCitation · doi-reference
10.1007/978-3-662-46681-0_15
10.1007/978-3-662-46681-0_15 · ExternalCitation · doi-reference
10.1007/s10009-007-0062-x
10.1007/s10009-007-0062-x · ExternalCitation · doi-reference
10.1007/s10514-024-10163-7
10.1007/s10514-024-10163-7 · ExternalCitation · doi-reference
10.1007/s10817-024-09709-2
10.1007/s10817-024-09709-2 · ExternalCitation · doi-reference
10.1007/s43684-025-00112-1
10.1007/s43684-025-00112-1 · ExternalCitation · doi-reference
10.1016/j.aap.2017.12.001
10.1016/j.aap.2017.12.001 · ExternalCitation · doi-reference
10.1016/j.aap.2022.106799
10.1016/j.aap.2022.106799 · ExternalCitation · doi-reference
10.1016/j.robot.2023.104549
10.1016/j.robot.2023.104549 · ExternalCitation · doi-reference
10.1016/j.scico.2014.04.015
10.1016/j.scico.2014.04.015 · ExternalCitation · doi-reference
10.1016/j.scico.2021.102765
10.1016/j.scico.2021.102765 · ExternalCitation · doi-reference
10.1016/j.trc.2021.102988
10.1016/j.trc.2021.102988 · ExternalCitation · doi-reference
10.1088/1757-899x/898/1/012002
10.1088/1757-899x/898/1/012002 · ExternalCitation · doi-reference
10.1109/dasc.2015.7311421
10.1109/dasc.2015.7311421 · ExternalCitation · doi-reference
10.1109/itsc.2011.6083138
10.1109/itsc.2011.6083138 · ExternalCitation · doi-reference
10.1109/itsc57777.2023.10421868
10.1109/itsc57777.2023.10421868 · ExternalCitation · doi-reference
10.1109/iv48863.2021.9575528
10.1109/iv48863.2021.9575528 · ExternalCitation · doi-reference
10.1109/iv48863.2021.9575602
10.1109/iv48863.2021.9575602 · ExternalCitation · doi-reference
10.1109/iv51971.2022.9827153
10.1109/iv51971.2022.9827153 · ExternalCitation · doi-reference
10.1109/iv64158.2025.11097688
10.1109/iv64158.2025.11097688 · ExternalCitation · doi-reference
10.1109/ivs.2018.8500490
10.1109/ivs.2018.8500490 · ExternalCitation · doi-reference
10.1109/jproc.2011.2160929
10.1109/jproc.2011.2160929 · ExternalCitation · doi-reference
10.1109/tiv.2020.3017342
10.1109/tiv.2020.3017342 · ExternalCitation · doi-reference
10.1109/tiv.2022.3169762
10.1109/tiv.2022.3169762 · ExternalCitation · doi-reference
10.1145/3359986.3361203
10.1145/3359986.3361203 · ExternalCitation · doi-reference
10.1177/0361198120948507
10.1177/0361198120948507 · ExternalCitation · doi-reference
10.1201/b20053-5
10.1201/b20053-5 · ExternalCitation · doi-reference
10.29007/1973
10.29007/1973 · ExternalCitation · doi-reference
10.29007/fnzc
10.29007/fnzc · ExternalCitation · doi-reference
10.3233/sat190012
10.3233/sat190012 · ExternalCitation · doi-reference
10.3390/vehicles7020028
10.3390/vehicles7020028 · ExternalCitation · doi-reference
10.48550/arxiv.2005.00326
10.48550/arxiv.2005.00326 · ExternalCitation · doi-reference
