PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems.
Étienne AndréYang LiuJun SunJin Song DongShang-Wei LinPublished in: CAV (2013)
Keyphrases
- real time systems
- real time
- distributed systems
- embedded systems
- mission critical
- object oriented programming language
- timing constraints
- hierarchical reinforcement learning
- embedded real time systems
- hierarchical structure
- real time database systems
- artificial intelligence
- data management
- hierarchical structures
- anytime algorithms
- real time embedded