Login / Signup
The linear-hyper-branching spectrum of temporal logics.
Bernd Finkbeiner
Markus N. Rabe
Published in:
it Inf. Technol. (2014)
Keyphrases
</>
temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
satisfiability problem
predicate logic
belief revision
temporal knowledge
verification method
linear temporal logic
artificial intelligence
branch and bound
multi agent
inference rules
formal specification