Login / Signup
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