Search papers, labs, and topics across Lattice.
TU Wien
2
0
4
RoadLogic automates the creation of diverse, realistic autonomous vehicle test scenarios from declarative specifications, sidestepping the manual effort of imperative approaches.
Polar offers a fully automated approach to analyzing probabilistic loops, providing exact closed-form solutions for recurrences and enabling precise invariant inference and sensitivity analysis.
