Automated Verification of LV Network Topologies.
Maizura MokhtarValentin RobuDavid FlynnCiaran HigginsJim WhyteFiona FultonPublished in: ISGT Europe (2018)
Keyphrases
- network topologies
- automated verification
- model checking
- left ventricle
- automated reasoning
- deformable models
- left ventricular
- formal verification
- network topology
- wall motion
- temporal logic
- graph theory
- network reliability
- fully automatic
- medical images
- random graphs
- theorem prover
- interacting agents
- image segmentation
- social networks
- np complete
- worst case
- knowledge representation
- computational complexity