Chrome Extension
WeChat Mini Program
Use on ChatGLM

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems.

CoRR(2023)

Cited 2|Views61
Key words
Dependability Engineering,Software Reliability Modeling,Testing-Effort Dependent Models,Sensitivity Analysis,Component-Based Systems
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined