The Mosaic Method for Temporal Logics.

Maarten Marx Szabolcs Mikulás Mark Reynolds

Published in: TABLEAUX (2000)

Keyphrases

detection method
high accuracy
multi agent
significant improvement
special case
clustering method
temporal resolution
verification method