About Partial Order Reduction in Planning and Computer Aided Verification.
Martin WehrleMalte HelmertPublished in: ICAPS (2012)
Keyphrases
- computer aided
- partial order reduction
- model checking
- planning domains
- petri net
- computer assisted
- process planning
- computer aided diagnosis
- diagnosis of breast cancer
- computer aided design
- image analysis
- capsule endoscopy
- feature extraction
- case study
- cad systems
- early diagnosis
- endoscopic images
- differential diagnosis
- fault tree