Safety and Liveness in Branching Time.

Panagiotis Manolios Richard J. Trefler

Published in: LICS (2001)

Keyphrases

temporal logic
model checking
temporal reasoning
neural network
modal logic
epistemic logic
database
real time
data sets
real world
clustering algorithm
probability distribution
intelligent vehicles