(2024). Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development. Tools and Algorithms for the Construction and Analysis of Systems, 14571, . https://doi.org/10.1007/978-3-031-57249-4_3
Citace podle Chicago (17th ed.)"Towards Safe Autonomous Driving: Model Checking a Behavior Planner During Development." Tools and Algorithms for the Construction and Analysis of Systems 14571 (2024). https://doi.org/10.1007/978-3-031-57249-4_3.
Citace podle MLA (9th ed.)"Towards Safe Autonomous Driving: Model Checking a Behavior Planner During Development." Tools and Algorithms for the Construction and Analysis of Systems, vol. 14571, 2024, https://doi.org/10.1007/978-3-031-57249-4_3.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..