Practical Proof Methods for Combined Modal and Temporal Logics.

Ullrich Hustadt

Published in: ARW (2000)

Keyphrases

temporal logic
modal logic
significant improvement
preprocessing
multi agent systems
search space
qualitative and quantitative
practical problems