Statistical verification of autonomous system controllers under timing uncertainties.
Bineet GhoshClara HobbsShengjie XuF. Donelson SmithJames H. AndersonP. S. ThiagarajanBenjamin BergParasara Sridhar DuggiralaSamarjit ChakrabortyPublished in: Real Time Syst. (2024)
Keyphrases
- asynchronous circuits
- model checking
- cooperative
- statistical models
- autonomous systems
- statistical analysis
- data mining
- artificial intelligence
- reinforcement learning
- data sets
- information theoretic
- formal verification
- neural network
- controller design
- statistical data
- formal methods
- statistical information
- data driven
- knowledge base
- genetic algorithm