C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems.
Yongwang Zhao
David Sanán
Fuyuan Zhang
Yang Liu
Published in:
FM (2019)
Keyphrases
</>
reactive systems
artificial intelligence
logical framework
decision making
temporal logic