AI-based Safety Analysis for Collaborative Mobile Robots.
Alberto Y. HataRafia InamKlaus RaizerShaolei WangEnyu CaoPublished in: ETFA (2019)
Keyphrases
- safety analysis
- mobile robot
- nuclear power plant
- control system
- safety critical
- artificial intelligence
- path planning
- fault model
- symbolic model checking
- expert systems
- machine learning
- knowledge representation
- dynamic environments
- knowledge based systems
- case based reasoning
- formal methods
- computational intelligence
- multi robot
- ai planning
- intelligent systems
- real time