Ingy Ramzy

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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)
  • 1