ISO 26262 Conformant Verification Plan.
Ralf NörenbergRalf ReißingJörg WeberPublished in: GI Jahrestagung (2) (2010)
Keyphrases
- ai planning
- model checking
- initial state
- classical planning
- planning graph
- plan execution
- verification method
- formal verification
- face verification
- conformant planning
- case based planning
- planning domains
- plan recognition
- model checker
- state space
- service composition
- plan generation
- cryptographic protocols
- integer programming
- planning problems
- artificial intelligence