A Note on Kripke's Observation.

Published in: JSAI Workshops (2005)

Keyphrases

model checking
modal logic
temporal logic
desirable properties
inference rules
real time
genetic algorithm
feature extraction
support vector
pairwise
viewpoint
state space