v1v2 (latest)

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

2 May 2019

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

10 / 10 papers shown

Tactical Game-theoretic Decision-making with Homotopy Class ConstraintsIEEE Transactions on Intelligent Vehicles (TIV), 2024

245

19 Jun 2024

TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

Kumar Manas

Stefan Zwicklbauer

Adrian Paschke

233

09 Jun 2024

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving

171

22 May 2024

Road Traffic Law Adaptive Decision-making for Self-Driving Vehicles

Ding Zhao

271

25 Apr 2022

Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework

M. Bozga

J. Sifakis

172

14 Sep 2021

Modeling and Testing Multi-Agent Traffic Rules within Interactive Behavior Planning

Klemens Esterle

Luis Gressenbuch

Alois Knoll

143

29 Sep 2020

Falsification-Based Robust Adversarial Reinforcement Learning

257

01 Jul 2020

Formalizing Traffic Rules for Machine Interpretability

Klemens Esterle

Luis Gressenbuch

Alois Knoll

271

01 Jul 2020

BARK: Open Behavior Benchmarking in Multi-Agent EnvironmentsIEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2020

366

05 Mar 2020

DiversityGAN: Diversity-Aware Vehicle Motion Prediction via Latent Semantic SamplingIEEE Robotics and Automation Letters (RA-L), 2019

433

28 Nov 2019