A Metric for Linear Temporal Logic.

Íñigo Íncer Romeo Marten Lohstroh Antonio Iannopollo Edward A. Lee Alberto L. Sangiovanni-Vincentelli

Published in: CoRR (2018)

Keyphrases

linear temporal logic
temporal logic
model checking
bounded model checking
machine learning
object oriented
test cases
evaluation function