A Formulation of TLA in Isabelle.

Published in: TPHOLs (1995)

Keyphrases

theorem prover
real world
temporal logic
real time
machine learning
special case
information retrieval
information systems
decision trees
simulated annealing
set theoretic
efficient optimization