Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free.

Daniel Neider Alexander Weinert Martin Zimmermann

Published in: GandALF (2019)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
concurrent systems
qualitative and quantitative
verification method
belief revision
predicate logic
temporal resolution
objective function
finite state