Analysing Norms with Transition Systems.

Trevor J. M. Bench-Capon

Published in: JURIX (2014)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
model checker
multi agent systems
distributed systems
markov chain
reactive systems
fully observable
dynamic programming