Dejan Ničković

AIT Austrian Institute of Technology

Papers on Lattice

Total citations

Topics

Research focus

Code Generation & Program Synthesis (1)Robotics & Embodied AI (1)World Models & Planning (1)

Frequent co-authors

Ezio Bartocci (1)Felix Gigler (1)Cristinel Mateis (1)

Papers (1)

Mar 10, 2026

Mar 10, 2026·also AIT

Declarative Scenario-based Testing with RoadLogic

RoadLogic automates the creation of diverse, realistic autonomous vehicle test scenarios from declarative specifications, sidestepping the manual effort of imperative approaches.

Ezio Bartocci, Felix Gigler, Cristinel Mateis +1

Code Generation & Program Synthesis Robotics & Embodied AI World Models & Planning

Search

Dejan Ničković

Research focus

Frequent co-authors

Papers (1)