Extending the Hierarchy of System Specifications and Morphisms with SES Abstraction.
Bernard P. ZeiglerPublished in: Inf. (2023)
Keyphrases
- abstraction hierarchy
- high level
- bounded model checking
- delay insensitive
- lower level
- formal specification
- specification language
- hierarchical structure
- low level
- higher level
- decision theoretic planning
- machine learning
- data abstraction
- natural language
- reinforcement learning
- database systems
- written in natural language
- high level abstractions