Round- and context-bounded control of dynamic pushdown systems.
Benedikt BolligMathieu LehautNathalie SznajderPublished in: Formal Methods Syst. Des. (2024)
Keyphrases
- changing environment
- intelligent systems
- dynamic environments
- context sensitive
- autonomous systems
- reinforcement learning
- current trends
- control system
- control strategies
- contextual information
- building blocks
- active control
- optimal control
- learning systems
- machine learning
- context aware
- learning environment
- artificial intelligence
- information retrieval