ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1905.00708
  4. Cited By
From Specifications to Behavior: Maneuver Verification in a Semantic
  State Space
v1v2 (latest)

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

2 May 2019
Klemens Esterle
Vincent Aravantinos
Alois Knoll
ArXiv (abs)PDFHTML

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

2 / 2 papers shown
Title
Spatiotemporal motion planning with combinatorial reasoning for
  autonomous driving
Spatiotemporal motion planning with combinatorial reasoning for autonomous driving
Klemens Esterle
Patrick Hart
Julian Bernhard
Alois Knoll
39
18
0
10 Jul 2022
Incremental Sampling-based Algorithm for Minimum-violation Motion
  Planning
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning
L. I. R. Castro
Pratik Chaudhari
Jana Tumova
S. Karaman
Emilio Frazzoli
Daniela Rus
81
93
0
06 May 2013
1