Search papers, labs, and topics across Lattice.
The paper introduces RoadLogic, a novel framework for scenario-based testing of autonomous vehicles that bridges declarative OpenSCENARIO specifications and executable simulations. RoadLogic leverages Answer Set Programming to generate abstract plans, refines these plans into feasible trajectories using motion planning, and verifies correctness through specification-based monitoring. Experiments demonstrate that RoadLogic can generate realistic, specification-satisfying simulations in minutes, capturing diverse behavioral variants through parameter sampling.
RoadLogic automates the creation of diverse, realistic autonomous vehicle test scenarios from declarative specifications, sidestepping the manual effort of imperative approaches.
Scenario-based testing is a key method for cost-effective and safe validation of autonomous vehicles (AVs). Existing approaches rely on imperative scenario definitions, requiring developers to manually enumerate numerous variants to achieve coverage. Declarative languages, such as OpenSCENARIO DSL (OS2), raise the abstraction level but lack systematic methods for instantiating concrete, specification-compliant scenarios as simulations. To our knowledge, currently, no open-source solution provides this capability. We present RoadLogic that bridges declarative OS2 specifications and executable simulations. It uses Answer Set Programming to generate abstract plans satisfying scenario constraints, motion planning to refine the plans into feasible trajectories, and specification-based monitoring to verify correctness. We evaluate RoadLogic on instantiating representative OS2 scenarios as simulations in the CommonRoad framework. Results show that RoadLogic consistently produces realistic, specification-satisfying simulations within minutes and captures diverse behavioral variants through parameter sampling, thus opening the door to systematic scenario-based testing for autonomous driving systems.
