Ingy Ramzy

Learn More
—This work is on formal modeling, analysis and detection of job interference in large distributed multi-agent systems. Such an analysis usually requires an examination of all the global system states—often impossible due to the well-known state space explosion. We obtain a sufficient condition so that job interference can be detected by observations of(More)
This work is on formal modeling, analysis and detection of job interference in large distributed multi-agent systems. Such an analysis usually requires an examination of all the global system states-often impossible due to the well-known state space explosion. We obtain a sufficient condition so that job interference can be detected by observations of(More)
  • 1