Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Livia LestingiAndrea ManglavitiDavide MarinaroLuca MarinelloMehrnoosh AskarpourMarcello M. BersaniMatteo RossiPublished in: Softw. Syst. Model. (2024)
Keyphrases
- formal verification
- human errors
- model checking
- model checker
- digital tv
- bounded model checking
- automated verification
- management system
- service providers
- scoring methods
- program slicing
- real time
- user interaction
- service discovery
- mobile robot
- web services
- symbolic model checking
- interactive tv
- service oriented architecture
- end users
- robotic systems
- service oriented
- oracle database
- database