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:
Inf. Comput. (2022)
Keyphrases
</>
temporal logic
model checking
modal logic
mazurkiewicz traces
satisfiability problem
concurrent systems
qualitative and quantitative
cellular automata
belief revision
search space
temporal resolution
temporal knowledge
transition systems