activity
20212026
most citedLLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.RO2024

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System

Iqra Aslam, Abhishek Buragohain, Daniel Bamal +3

Environment perception is a fundamental part of the dynamic driving task executed by Autonomous Driving Systems (ADS). Artificial Intelligence (AI)-based approaches have prevailed…