Login / Signup
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif.
Vincent Cheval
Véronique Cortier
Mathieu Turuani
Published in:
CSF (2018)
Keyphrases
</>
action sequences
initial state
global information
partial knowledge
information technology
human actions
data sets
artificial intelligence
search engine
spatio temporal
speech acts
action descriptions