On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems.

Valentin Goranko Louwe B. Kuijer

Published in: TIME (2016)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
temporal constraints
control flow
reactive systems
artificial intelligence
domain specific
first order logic