Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach.
Matthew L. BoltonSvetlana RiabovaYeonbin SonEunsuk KangPublished in: SMC (2023)
Keyphrases
- formal methods
- reliability analysis
- formal analysis
- model checking
- safety critical
- formal specification
- software engineering
- knowledge based systems
- machine learning
- relational databases
- artificial intelligence
- knowledge acquisition
- optimization model
- natural language
- information systems
- databases
- formal specification language