George J. Pappas
0000-0001-9081-0637
Publications
898 total
No publications found.
Research Topics
Formal Methods in Verification
Distributed Control Multi-Agent Systems
Robotic Path Planning Algorithms
Advanced Control Systems Optimization
Petri Nets in System Modeling
Affiliations
Defense Threat Reduction Agency
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.