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 2021Show all

1 paper · 1 filter

cs.AI2021

Autoencoder-based Semantic Novelty Detection: Towards Dependable AI-based Systems

Andreas Rausch, Azarmidokht Motamedi Sedeh, Meng Zhang

Many autonomous systems, such as driverless taxis, perform safety critical functions. Autonomous systems employ artificial intelligence (AI) techniques, specifically for the enviro…