Modeling Reactive Trust Acquisition Using State Transition Systems.

Sergiy Gladysh Peter Herrmann

Published in: IFIPTM (2013)

Keyphrases

transition systems
reactive systems
temporal logic
model checking
concurrent systems
finite state
control flow
learning algorithm
search algorithm
state space
information flow
fully observable