[2603.09455] Declarative Scenario-based Testing with RoadLogic

Computer Science > Software Engineering arXiv:2603.09455 (cs) [Submitted on 10 Mar 2026 (v1), last revised 30 Mar 2026 (this version, v2)] Title:Declarative Scenario-based Testing with RoadLogic Authors:Ezio Bartocci, Alessio Gambi, Felix Gigler, Cristinel Mateis, Dejan Ničković View a PDF of the paper titled Declarative Scenario-based Testing with RoadLogic, by Ezio Bartocci and 4 other authors View PDF HTML (experimental) Abstract: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 ASAM OpenSCENARIO DSL (OS2), raise the abstraction level but lack systematic methods for instantiating concrete and specification-compliant scenarios. 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 executed in the CommonRoad framework. Results show that RoadLogic consistently produces realistic, specification-satisfying simulations within minutes and captures diverse be...