Login / Signup
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