Vacuity aware falsification for MTL request-response specifications.

Adel Dokhanchi Shakiba Yaghoubi Bardh Hoxha Georgios Fainekos

Published in: CASE (2017)

Keyphrases

model checking
multi task learning
temporal logic
high level
delay insensitive
inductive learning
multitask learning
reactive systems
multiple task learning
e learning
support vector
multi class
learning tasks
finite state machines
formal specification
functional requirements