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

Daniel Neider Alexander Weinert Martin Zimmermann

Published in: CoRR (2018)

Keyphrases

temporal logic
model checking
belief revision
mazurkiewicz traces
concurrent systems
artificial intelligence
modal logic
qualitative and quantitative
predicate logic
bounded model checking
computation tree logic
temporal resolution
reactive systems