Login / Signup
A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories.
Uli Fahrenberg
Axel Legay
Published in:
CoRR (2016)
Keyphrases
</>
formal specification
temporal logic
worst case
model checking
temporal reasoning
power spectrum
data sets
high level
human behavior
specification language
simple polygon
thermal infrared
epistemic logic
cognitive radio
theory revision
causal reasoning
infrared
np hard
databases