Assumption Generation for the Verification of Learning-Enabled Autonomous Systems.
CoRR(2023)
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