Login / Signup
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information.
Roderick Bloem
Krishnendu Chatterjee
Swen Jacobs
Robert Könighofer
Published in:
CoRR (2014)
Keyphrases
</>
partial information
incomplete information
functional programs
concurrent programs
agent architecture
computer programs
upper bound
control flow
functional language
runtime environment