Transition Power Abstractions for Deep Counterexample Detection.
Martin BlichaGrigory FedyukovichAntti E. J. HyvärinenNatasha SharyginaPublished in: TACAS (1) (2022)
Keyphrases
- object detection
- detection accuracy
- detection method
- false positives
- false alarms
- automatic detection
- power consumption
- detection algorithm
- anomaly detection
- artificial intelligence
- learning algorithm
- high level
- deep learning
- automated detection
- oil spill
- detection scheme
- target detection
- databases
- model checking
- data structure
- image processing
- computer vision
- machine learning