Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving.
Werner DammRoland GalbasPublished in: SEFAIAS@ICSE (2018)
Keyphrases
- learning process
- learning algorithm
- specification languages
- reinforcement learning
- learning systems
- learning scenarios
- learning experience
- semi automated
- inductive inference
- formal specification
- learning analytics
- learning problems
- production system
- model checking
- open source
- active learning
- bayesian networks
- case study
- artificial intelligence