Beyond vacuity: towards the strongest passing formula.

Hana Chockler Arie Gurfinkel Ofer Strichman

Published in: Formal Methods Syst. Des. (2013)

Keyphrases

model checking
temporal logic
linear temporal logic
data sets
machine learning
information systems
feature selection
mobile robot