Keyphrases
- functional requirements
- high level
- delay insensitive
- formal specification
- written in natural language
- neural network
- hierarchical reinforcement learning
- reactive systems
- concurrent systems
- mutual exclusion
- concurrent programs
- concurrent execution
- attribute grammars
- long running
- database
- reinforcement learning
- computer vision
- artificial intelligence
- machine learning
- real time