Sign in
A Note on Kripke's Observation.
Shogo Suzuki
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