A Reinforcement Learning Approach to Design Verification Strategies of Engineered Systems.
Peng XuAlejandro SaladoGuangrui XiePublished in: SMC (2020)
Keyphrases
- reinforcement learning
- knowledge based systems
- design criteria
- case study
- formal methods
- complex systems
- markov decision processes
- design issues
- embedded systems
- support systems
- building blocks
- neural network
- high assurance
- formal verification
- design tools
- design process
- data sets
- design decisions
- software architecture
- distributed systems
- management system
- design space
- expert systems
- interactive systems
- asynchronous circuits
- web services
- automated verification
- highly modular