Axioms for Obligation and Robustness with Temporal Logic.

Tim French John Christopher McCabe-Dansted Mark Reynolds

Published in: DEON (2010)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
concurrent systems
computation tree logic
linear temporal logic
belief revision
knowledge base
model checker
temporal knowledge
reactive systems
verification method
mazurkiewicz traces
search space
reinforcement learning
artificial intelligence