Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
Marcello M. BersaniMatteo CamilliLivia LestingiRaffaela MirandolaMatteo G. RossiPublished in: FormaliSE (2023)
Keyphrases
- model checking
- human machine
- machine learning
- temporal logic
- model checker
- temporal properties
- formal verification
- formal specification
- human machine interaction
- computation tree logic
- symbolic model checking
- transition systems
- spoken dialogue systems
- automated verification
- verification method
- epistemic logic
- reachability analysis
- process algebra
- concurrent systems
- learning algorithm
- human operators
- pspace complete
- pattern recognition
- timed automata
- artificial intelligence
- formal methods
- bounded model checking
- knowledge representation
- reinforcement learning
- asynchronous circuits
- knowledge acquisition
- computational intelligence
- expert systems
- satisfiability problem
- linear temporal logic
- domain specific
- np complete
- data mining