George J. Pappas

Aristotle University of Thessaloniki — Greece

Computer Science · Physical Sciences

97h-index35.4kcitations898works3.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(165), Distributed Control Multi-Agent Systems(138), Robotic Path Planning Algorithms(91), Advanced Control Systems Optimization(77), Petri Nets in System Modeling(61)

Publications898 total

Evaluating the X2000: A Novel Integrated Platform for Rapid ADAS Development
Electronics·2026Open Access
Multipole moments do not uniquely characterize spacetimes beyond general relativity
Physical review. D/Physical review. D.·2026
Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems
IEEE Control Systems·2025
Special Issue on the Internal Model Principle
IEEE Control Systems·2025
Uncertainty-Calibrated Prediction of Randomly-Timed Biomarker Trajectories with Conformal Bands
arXiv (Cornell University)·2025Open Access
Verification of Sequential Convex Programming for Parametric Non-convex Optimization
arXiv (Cornell University)·2025Open Access
Heterogeneous Robot Collaboration in Unstructured Environments with Grounded Generative Intelligence
arXiv (Cornell University)·2025Open Access
Deep Equivariant Multi-Agent Control Barrier Functions
2025
Long-Term Mapping of the Douro River Plume with Multi-Agent Reinforcement Learning
arXiv (Cornell University)·2025Open Access
Safe Planning in Unknown Environments Using Conformalized Semantic Maps
arXiv (Cornell University)·2025Open Access
Preventing Robotic Jailbreaking via Multimodal Domain Adaptation
arXiv (Cornell University)·2025Open Access
Policy Gradient Bounds in Multitask LQR
arXiv (Cornell University)·2025Open Access
PKF: Probabilistic Data Association Kalman Filter for Multi-Object Tracking
IEEE Robotics and Automation Letters·2025
Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education]
IEEE Control Systems·2025· 5 cited
Learning Acceleration Algorithms for Fast Parametric Convex Optimization with Certified Robustness
arXiv (Cornell University)·2025Open Access
Deep Equivariant Multi-Agent Control Barrier Functions
arXiv (Cornell University)·2025Open Access
Benchmarking Misuse Mitigation Against Covert Adversaries
arXiv (Cornell University)·2025Open Access
Conformal Prediction Beyond the Seen: A Missing Mass Perspective for Uncertainty Quantification in Generative Models
arXiv (Cornell University)·2025Open Access
Adversarial Attacks on Robotic Vision Language Action Models
arXiv (Cornell University)·2025Open Access
Deployment and scalability of the Networked Quantum Magnetometer Array (NQMA) for subterranean detection and perimeter security applications
2025
page 1 of 45Next →

Frequent Co-authors

Ali Jadbabaie(8), Michael M. Zavlanos(7), Georgios Fainekos(6), Herbert G. Tanner(5), Gerardo Lafferriere(5), Hadas Kress‐Gazit(5), Rajeev Alur(4), Vijay Kumar(4), Jérôme Le Ny(4), Nikolay Atanasov(3), Kostas Daniilidis(3), Călin Belta(3), Miroslav Pajić(3), Insup Lee(3), Víctor M. Preciado(2), Antoine Girard(2), Magnus Egerstedt(2), Paulo Tabuada(2), Shuo Han(2), Shankar Sastry(2)