George J. Pappas
Aristotle University of Thessaloniki(GR)Lawrence Technological University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Distributed Control Multi-Agent Systems, Robotic Path Planning Algorithms, Advanced Control Systems Optimization, Petri Nets in System Modeling
Most-Cited Works
- → Flocking in Fixed and Switching Networks(2007)1,427 cited
- → Conflict resolution for air traffic management: a study in multiagent hybrid systems(1998)1,033 cited
- → Discrete abstractions of hybrid systems(2000)814 cited
- → Leader-to-Formation Stability(2004)776 cited
- → Temporal-Logic-Based Reactive Mission and Motion Planning(2009)742 cited
- → Stable flocking of mobile agents. I. Fixed topology(2004)675 cited
- → Analysis and Control of Epidemics: A Survey of Spreading Processes on Complex Networks(2016)