Research graph
References from Preview-aware safety verification of neural tracking controllers for dynamical systems. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1109/codit66093.2025.11321738
10.1109/codit66093.2025.11321738 · External reference
10.1007/978-3-319-68167-2_19
10.1007/978-3-319-68167-2_19 · External reference
Unresolved reference
External reference
10.1109/sp.2018.00058
10.1109/sp.2018.00058 · External reference
10.1145/3290354
10.1145/3290354 · External reference
Unresolved reference
2020 · External reference
10.1007/978-3-031-65630-9_13
10.1007/978-3-031-65630-9_13 · External reference
10.1007/978-3-031-37703-7_19
10.1007/978-3-031-37703-7_19 · External reference
Unresolved reference
External reference
10.1109/cdc42340.2020.9304296
10.1109/cdc42340.2020.9304296 · External reference
10.1609/aaai.v36i7.20790
10.1609/aaai.v36i7.20790 · External reference
10.1007/978-3-030-59152-6_30
10.1007/978-3-030-59152-6_30 · External reference
Unresolved reference
External reference
10.1007/978-3-030-81685-8_11
10.1007/978-3-030-81685-8_11 · External reference
10.1016/j.robot.2023.104488
10.1016/j.robot.2023.104488 · External reference
10.1016/j.jss.2025.112499
10.1016/j.jss.2025.112499 · 2025 · External reference
10.1007/978-3-031-71177-0_22
10.1007/978-3-031-71177-0_22 · External reference
Unresolved reference
2022 · External reference
10.1007/978-3-031-65112-0_5
10.1007/978-3-031-65112-0_5 · 2024 · External reference
10.23919/ecc.2018.8550234
10.23919/ecc.2018.8550234 · External reference
10.1016/j.automatica.2021.109947
10.1016/j.automatica.2021.109947 · 2022 · External reference
10.1109/tac.2023.3283213
10.1109/tac.2023.3283213 · 2023 · External reference
10.1146/annurev-control-090419-075625
10.1146/annurev-control-090419-075625 · 2020 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1146/annurev-control-042920-020211
10.1146/annurev-control-042920-020211 · 2022 · External reference
10.1109/tpami.2024.3457538
10.1109/tpami.2024.3457538 · 2024 · External reference
10.1109/tac.1972.1100085
10.1109/tac.1972.1100085 · 1972 · External reference
10.1016/s0005-1098(99)00113-2
10.1016/s0005-1098(99)00113-2 · 1999 · External reference
10.1007/978-0-8176-4606-6
10.1007/978-0-8176-4606-6 · 2008 · External reference
10.1109/tac.2017.2672859
10.1109/tac.2017.2672859 · 2017 · External reference
10.1016/s0005-1098(99)00214-9
10.1016/s0005-1098(99)00214-9 · 2000 · External reference
10.1016/j.automatica.2016.08.013
10.1016/j.automatica.2016.08.013 · 2017 · External reference
10.1109/tcst.2015.2501351
10.1109/tcst.2015.2501351 · 2016 · External reference
10.1016/j.ifacol.2015.09.474
10.1016/j.ifacol.2015.09.474 · 2015 · External reference
10.1109/tac.2002.805688
10.1109/tac.2002.805688 · 2002 · External reference
10.1017/9781139061759
10.1017/9781139061759 · 2017 · External reference
10.1145/3302504.3311801
10.1145/3302504.3311801 · External reference
Unresolved reference
External reference
10.1007/978-3-031-27576-0
10.1007/978-3-031-27576-0 · 2023 · External reference
10.23919/ecc.2019.8796030
10.23919/ecc.2019.8796030 · External reference
10.1109/tac.2016.2638961
10.1109/tac.2016.2638961 · 2017 · External reference
10.1016/j.automatica.2018.07.004
10.1016/j.automatica.2018.07.004 · 2018 · External reference
10.1109/tac.2021.3089639
10.1109/tac.2021.3089639 · 2022 · External reference
10.1109/tcst.2023.3286090
10.1109/tcst.2023.3286090 · External reference
10.1109/cdc51059.2022.9993193
10.1109/cdc51059.2022.9993193 · External reference
Unresolved reference
External reference
10.1016/j.ifacol.2024.07.433
10.1016/j.ifacol.2024.07.433 · External reference
10.1016/j.isatra.2014.02.009
10.1016/j.isatra.2014.02.009 · External reference
10.23919/acc50511.2021.9483092
10.23919/acc50511.2021.9483092 · External reference
10.1109/lcsys.2023.3347334
10.1109/lcsys.2023.3347334 · 2023 · External reference
10.23919/ecc65951.2025.11187202
10.23919/ecc65951.2025.11187202 · External reference
10.1007/978-0-8176-4606-6
10.1007/978-0-8176-4606-6 · ExternalCitation · doi-reference
10.1007/978-3-030-59152-6_30
10.1007/978-3-030-59152-6_30 · ExternalCitation · doi-reference
10.1007/978-3-030-81685-8_11
10.1007/978-3-030-81685-8_11 · ExternalCitation · doi-reference
10.1007/978-3-031-27576-0
10.1007/978-3-031-27576-0 · ExternalCitation · doi-reference
10.1007/978-3-031-37703-7_19
10.1007/978-3-031-37703-7_19 · ExternalCitation · doi-reference
10.1007/978-3-031-65112-0_5
10.1007/978-3-031-65112-0_5 · ExternalCitation · doi-reference
10.1007/978-3-031-65630-9_13
10.1007/978-3-031-65630-9_13 · ExternalCitation · doi-reference
10.1007/978-3-031-71177-0_22
10.1007/978-3-031-71177-0_22 · ExternalCitation · doi-reference
10.1007/978-3-319-68167-2_19
10.1007/978-3-319-68167-2_19 · ExternalCitation · doi-reference
10.1016/j.automatica.2016.08.013
10.1016/j.automatica.2016.08.013 · ExternalCitation · doi-reference
10.1016/j.automatica.2018.07.004
10.1016/j.automatica.2018.07.004 · ExternalCitation · doi-reference
10.1016/j.automatica.2021.109947
10.1016/j.automatica.2021.109947 · ExternalCitation · doi-reference
10.1016/j.ifacol.2015.09.474
10.1016/j.ifacol.2015.09.474 · ExternalCitation · doi-reference
10.1016/j.ifacol.2024.07.433
10.1016/j.ifacol.2024.07.433 · ExternalCitation · doi-reference
10.1016/j.isatra.2014.02.009
10.1016/j.isatra.2014.02.009 · ExternalCitation · doi-reference
10.1016/j.jss.2025.112499
10.1016/j.jss.2025.112499 · ExternalCitation · doi-reference
10.1016/j.robot.2023.104488
10.1016/j.robot.2023.104488 · ExternalCitation · doi-reference
10.1016/s0005-1098(99)00113-2
10.1016/s0005-1098(99)00113-2 · ExternalCitation · doi-reference
10.1016/s0005-1098(99)00214-9
10.1016/s0005-1098(99)00214-9 · ExternalCitation · doi-reference
10.1017/9781139061759
10.1017/9781139061759 · ExternalCitation · doi-reference
10.1109/cdc42340.2020.9304296
10.1109/cdc42340.2020.9304296 · ExternalCitation · doi-reference
10.1109/cdc51059.2022.9993193
10.1109/cdc51059.2022.9993193 · ExternalCitation · doi-reference
10.1109/codit66093.2025.11321738
10.1109/codit66093.2025.11321738 · ExternalCitation · doi-reference
10.1109/lcsys.2023.3347334
10.1109/lcsys.2023.3347334 · ExternalCitation · doi-reference
10.1109/sp.2018.00058
10.1109/sp.2018.00058 · ExternalCitation · doi-reference
10.1109/tac.1972.1100085
10.1109/tac.1972.1100085 · ExternalCitation · doi-reference
10.1109/tac.2002.805688
10.1109/tac.2002.805688 · ExternalCitation · doi-reference
10.1109/tac.2016.2638961
10.1109/tac.2016.2638961 · ExternalCitation · doi-reference
10.1109/tac.2017.2672859
10.1109/tac.2017.2672859 · ExternalCitation · doi-reference
10.1109/tac.2021.3089639
10.1109/tac.2021.3089639 · ExternalCitation · doi-reference
10.1109/tac.2023.3283213
10.1109/tac.2023.3283213 · ExternalCitation · doi-reference
10.1109/tcst.2015.2501351
10.1109/tcst.2015.2501351 · ExternalCitation · doi-reference
10.1109/tcst.2023.3286090
10.1109/tcst.2023.3286090 · ExternalCitation · doi-reference
10.1109/tpami.2024.3457538
10.1109/tpami.2024.3457538 · ExternalCitation · doi-reference
10.1145/3290354
10.1145/3290354 · ExternalCitation · doi-reference
10.1145/3302504.3311801
10.1145/3302504.3311801 · ExternalCitation · doi-reference
10.1146/annurev-control-042920-020211
10.1146/annurev-control-042920-020211 · ExternalCitation · doi-reference
10.1146/annurev-control-090419-075625
10.1146/annurev-control-090419-075625 · ExternalCitation · doi-reference
10.1609/aaai.v36i7.20790
10.1609/aaai.v36i7.20790 · ExternalCitation · doi-reference
10.23919/acc50511.2021.9483092
10.23919/acc50511.2021.9483092 · ExternalCitation · doi-reference
10.23919/ecc.2018.8550234
10.23919/ecc.2018.8550234 · ExternalCitation · doi-reference
10.23919/ecc.2019.8796030
10.23919/ecc.2019.8796030 · ExternalCitation · doi-reference
10.23919/ecc65951.2025.11187202
10.23919/ecc65951.2025.11187202 · ExternalCitation · doi-reference
