LTL transformation modulo positive transitions.

Mustapha Bourahla

Published in: IET Comput. Digit. Tech. (2017)

Keyphrases

positive and negative
temporal logic
model checking
linear temporal logic
deterministic automata
linear transformation
fukunaga koontz
information retrieval
dynamic programming
state transition
positively correlated
linear time temporal logic