Login / Signup
On the (High) Undecidability of Distributed Synthesis Problems.
David Janin
Published in:
SOFSEM (1) (2007)
Keyphrases
</>
distributed systems
real time
multi agent systems
np complete
mobile agents
distributed environment
problems involving
databases
computer vision
multi agent
cooperative
search algorithm
lower bound
optimization problems
high precision
distributed constraint optimization problems