Transition systems for designing and reasoning about norms.

Trevor J. M. Bench-Capon

Published in: Artif. Intell. Law (2015)

Keyphrases

transition systems
practical reasoning
model checking
concurrent systems
temporal logic
finite state
control flow
artificial intelligence
linear programming
test set
formal verification
model checker