Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application.

Ken Kaneiwa Norihiro Kamide

Published in: Appl. Artif. Intell. (2010)

Keyphrases

linear time temporal logic
model checking