C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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