Verification of Cooperative Maneuvers in FlightGear using MPC and Backwards Reachable Sets
2020 ◽
Vol 14
(12)
◽
pp. 1548-1556
Keyword(s):
2021 ◽
Vol 358
(6)
◽
pp. 3215-3231
2017 ◽
Vol 22
◽
pp. 1-14
◽
1989 ◽
Vol 27
(1)
◽
pp. 170-198
◽