Efficient Automaton Theoretical Vacuity Detection for Formal Properties.
Shan ZhouXu Zhi LiJin Bo WangJun YuanJiao JiaPublished in: IEEE Trans. Reliab. (2021)
Keyphrases
- object detection
- detection accuracy
- false alarms
- structural properties
- detection algorithm
- automatic detection
- desirable properties
- detection rate
- computationally expensive
- cost effective
- formal language
- detection scheme
- target detection
- database
- detection method
- theoretical analysis
- hidden markov models
- data structure
- similarity measure
- image segmentation
- information systems
- artificial intelligence