Towards Verification of Dialogue Protocols: A Mathematical Model.
Magdalena KacprzakAnna SawickaAndrzej ZbrzeznyPublished in: ICAISC (2) (2016)
Keyphrases
- mathematical model
- cryptographic protocols
- mathematical models
- ant colony algorithm
- dialogue system
- model checking
- control strategy
- protocol specification
- simulation model
- face verification
- man machine
- human machine
- authentication protocol
- signature verification
- matlab simulink
- mixed initiative
- feasible solution
- spoken dialogue systems
- dialogue management
- verification method
- formal verification
- natural language
- formal methods
- conversational agent
- fuzzy controller
- natural language dialogue