Synthesis of coordination programs from linear temporal specifications.
Suguman BansalKedar S. NamjoshiYaniv Sa'arPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- functional programs
- control flow
- spatio temporal
- temporal constraints
- recursive programs
- cooperative
- temporal information
- temporal relations
- temporal patterns
- operational semantics
- database
- multi agent systems
- high level
- multiagent systems
- temporal databases
- space time
- temporal consistency
- temporal reasoning
- information sharing
- temporal data
- texture synthesis
- computer programs
- linear systems
- temporal evolution
- multi agent
- multi agent coordination
- learning algorithm