Cristinel Mateis

AIT Austrian Institute of Technology

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

Ezio Bartocci (1)Alessio Gambi (1)Felix Gigler (1)Dejan Ničković (1)

Papers (1)

Mar 10, 2026

1d ago·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, Alessio Gambi, Felix Gigler +2

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

Search

Cristinel Mateis

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)