Methodologies for Diagnosis of Unreachable States via Property Directed Reachability.
Ryan BerryhillAndreas G. VenerisPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
- state space
- medical diagnosis
- data mining
- fault detection
- model based diagnosis
- fault diagnosis
- expressive power
- state variables
- diagnostic process
- data sets
- diagnostic reasoning
- model based reasoning
- finite state machines
- desirable properties
- artificial neural networks
- search algorithm
- real world
- image sequences
- transitive closure
- initial state
- global consistency
- artificial intelligence
- cancer diagnosis
- information retrieval
- clinically relevant
- breast cancer diagnosis