Assume-Guarantee Reasoning for Additive Hybrid Behaviour.
Pieter J. L. CuijpersJonas HansenKim G. LarsenPublished in: Theories of Programming and Formal Methods (2023)
Keyphrases
- knowledge base
- knowledge representation
- reasoning systems
- automated reasoning
- reasoning process
- model based reasoning
- data sets
- expert systems
- analogical reasoning
- database
- spatial reasoning
- knowledge representation and reasoning
- uncertain information
- qualitative reasoning
- meta level
- production rules
- knowledge acquisition
- real time