Synthesis with rational environments
Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. The environment often consists of agents that have objectives of their own. Thus, it makes sense to soften the universal quantification on the behavio...
Main Authors: | , , |
---|---|
Format: | Journal article |
Published: |
Springer Verlag
2016
|