LTL Satisfiability Checking Revisited.

Jianwen Li Lijun Zhang Geguang Pu Moshe Y. Vardi Jifeng He

Published in: TIME (2013)

Keyphrases

model checking
bounded model checking
temporal logic
linear temporal logic
linear time temporal logic
deterministic automata
expert systems
formal verification
machine learning
artificial intelligence
multimedia
multi agent systems
evolutionary algorithm
transition systems