Verify LTL with Fairness Assumptions Efficiently.

Yong Li Lei Song Yuan Feng Lijun Zhang

Published in: TIME (2016)

Keyphrases

real time
model checking
resource allocation
temporal logic
database
data sets
data mining
learning algorithm
feature selection
multiscale
domain specific
game theory
deterministic automata