Distributed synthesis for LTL fragments.

Krishnendu Chatterjee Thomas A. Henzinger Jan Otop Andreas Pavlogiannis

Published in: FMCAD (2013)

Keyphrases

distributed systems
communication overhead
temporal logic
distributed data
multi agent
peer to peer
database
computing environments
computer networks
distributed environment
linear temporal logic
mobile agents
lightweight
data model
cooperative
case study
website
metadata
databases
data sets