Verification of safety critical control policies using kernel methods.
Nikolaus VertovecSina Ober-BlöbaumKostas MargellosPublished in: ECC (2022)
Keyphrases
- kernel methods
- safety critical
- control policies
- formal methods
- safety analysis
- control system
- optimal policy
- fault tolerant
- reinforcement learning
- agent architecture
- motion control
- kernel function
- machine learning
- control policy
- support vector
- kernel matrix
- model checking
- support vector machine
- embedded systems
- feature space
- control strategies
- action space
- finite horizon
- support systems
- software engineering
- knowledge based systems
- formal specification
- mobile robot
- control law
- state space
- artificial intelligence
- multi agent systems
- real time