C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reasoning About Bounds in Weighted Transition Systems.
Mikkel Hansen
Kim Guldstrand Larsen
Radu Mardare
Mathias Ruggaard Pedersen
Bingtian Xue
Published in:
CoRR (2017)
Keyphrases
</>
transition systems
practical reasoning
model checking
concurrent systems
temporal logic
finite state
control flow
lower bound
artificial intelligence
case study