Login / Signup
Labelled transition systems as a Stone space.
Michael Huth
Published in:
Log. Methods Comput. Sci. (2005)
Keyphrases
</>
transition systems
temporal logic
concurrent systems
artificial intelligence
model checking
finite state
search space
practical reasoning