Formal methods for reasoning and uncertainty reduction in evidential grid maps.
Andreas GrimmerJoachim ClemensRobert WillePublished in: Int. J. Approx. Reason. (2017)
Keyphrases
- information systems
- formal methods
- belief functions
- uncertain information
- evidential reasoning
- dempster shafer
- knowledge based systems
- model checking
- formal specification
- artificial intelligence
- process algebra
- provably correct
- incomplete knowledge
- model checker
- safety critical
- formal analysis
- software engineering
- knowledge representation
- knowledge base
- reasoning process
- grid computing
- databases
- possibility theory
- decision theory
- fine grained