From Specifications to Behavior: Maneuver Verification in a Semantic State Space

Klemens Esterle, Vincent Aravantinos, Alois Knoll. From Specifications to Behavior: Maneuver Verification in a Semantic State Space. In 2019 IEEE Intelligent Vehicles Symposium, IV 2019, Paris, France, June 9-12, 2019. pages 2140-2147, IEEE, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.