"dSynMA: Distributed Synthesis from Single to Multiple Agents".
The aims of the project are to develop theoretical foundations that will
enable to apply reactive synthesis from temporal specifications to work
for multiple agents. This includes studying two-player games and their
solutions, modelling solutions for interacting agents, and studies of
temporal logic.
Details at
https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5061
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
