Checking Metric Temporal Logic with TRACE.

Martijn Hendriks Marc Geilen Amir R. B. Behrouzian Twan Basten Hadi Alizadeh Ara Dip Goswami

Published in: ACSD (2016)

Keyphrases

metric temporal logic
computer vision
collaborative learning
database systems
multi agent
viewpoint
domain knowledge
software engineering
source code
consistency checking
execution traces