George J. Pappas

Safety Guardrails for LLM-Enabled Robots

IEEE Robotics and Automation Letters 2026cited by 7position: contributordoi

Beyond alignment: Why robotic foundation models need context-aware safety.

2026cited by 0position: contributordoi

Safe MPC Alignment With Human Directional Feedback

IEEE Transactions on Robotics 2026cited by 0position: contributordoi

Safe Planning in Unknown Environments Using Conformalized Semantic Maps

IEEE Robotics and Automation Letters 2026cited by 0position: contributordoi

Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification [Focus on Education]

IEEE Control Systems 2025cited by 8position: contributordoi

Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems

IEEE Control Systems 2025cited by 6position: contributordoi

Policy Gradient Bounds in Multitask LQR

IEEE Control Systems Letters 2025cited by 2position: contributordoi

PKF: Probabilistic Data Association Kalman Filter for Multi-Object Tracking

IEEE Robotics and Automation Letters 2025cited by 2position: contributordoi

Air-Ground Collaboration for Language-Specified Missions in Unknown Environments

IEEE Transactions on Field Robotics 2025cited by 2position: contributordoi

Finite-Time Analysis of Over-the-Air Federated TD Learning

IEEE Transactions on Wireless Communications 2025cited by 0position: contributordoi

Control for Societal-Scale Challenges: Road Map 2030

IEEE Control Systems 2024cited by 104position: lastdoi

Macroscopic resting-state brain dynamics are best described by linear models.

2024cited by 71position: contributordoi

Control for Societal-Scale Challenges: Road Map 2030

IEEE Control Systems 2024cited by 71position: contributordoi

Safe Planning in Dynamic Environments Using Conformal Prediction

IEEE Robotics and Automation Letters 2023cited by 76position: contributordoi

Statistical Learning Theory for Control: A Finite-Sample Perspective

IEEE Control Systems 2023cited by 48position: contributordoi

Conformal Prediction for STL Runtime Verification

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) 2023cited by 33position: contributordoi

Online Learning of the Kalman Filter With Logarithmic Regret

IEEE Transactions on Automatic Control 2023cited by 20position: contributordoi

Combined Left and Right Temporal Robustness for Control Under STL Specifications

IEEE Control Systems Letters 2023cited by 18position: contributordoi

: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events<i/>

IEEE Transactions on Mobile Computing 2023cited by 9position: contributordoi

Energy-Aware, Collision-Free Information Gathering for Heterogeneous Robot Teams

IEEE Transactions on Robotics 2023cited by 9position: contributordoi

Federated TD Learning Over Finite-Rate Erasure Channels: Linear Speedup Under Markovian Sampling

IEEE Control Systems Letters 2023cited by 8position: contributordoi

Risk of Stochastic Systems for Temporal Logic Specifications

ACM Transactions on Embedded Computing Systems 2023cited by 8position: contributordoi

Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

IEEE Transactions on Automatic Control 2022cited by 137position: contributordoi

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps

IEEE Transactions on Robotics 2022cited by 42position: contributordoi

Reactive and Risk-Aware Control for Signal Temporal Logic

IEEE Transactions on Automatic Control 2022cited by 23position: contributordoi

Distributed Attack-Robust Submodular Maximization for Multirobot Planning

IEEE Transactions on Robotics 2022cited by 22position: contributordoi

Resilient Active Information Acquisition With Teams of Robots

IEEE Transactions on Robotics 2022cited by 19position: contributordoi

Private Weighted Sum Aggregation

IEEE Transactions on Control of Network Systems 2022cited by 16position: contributordoi

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design

ACM Transactions on Embedded Computing Systems 2022cited by 15position: contributordoi

Robust and Adaptive Sequential Submodular Optimization

IEEE Transactions on Automatic Control 2022cited by 14position: contributordoi

CPS: TTP Option: Medium: Collaborative Research: Smoothing Traffic via Energy-efficient Autonomous Driving (STEAD)

NSF1837210$229,9992019–2021PIRePORTER

CPS: Medium: Rethinking Communication and Control for Low-Latency, High Reliability loT Devices

NSF1837253$1,000,0002018–2022PIRePORTER

Symposium:Electrical and Computer Engineering Research Community Planning Grant

NSF1654985$99,1502017–2022PIRePORTER

CPS: Synergy: Collaborative Research: Multiple-Level Predictive Control of Mobile Cyber Physical Systems with Correlated Context

NSF1239152$317,0002012–2016PIRePORTER

CPS: Medium: Quantitative Analysis and Design of Control Networks

NSF0931239$1,509,3192009–2014PIRePORTER

CSR--EHS: Robust Testing by Testing Robustness of Embedded Systems

NSF0720518$500,0002007–2012PIRePORTER

High Confidence Medical Device Software and Systems Workshop (HCMDSS) 2005; Philadelphia, PA

NSF0532968$49,0002005–2006PIRePORTER

Algorithmic Synthesis of Embedded Controllers

NSF0311123$193,0672003–2006PIRePORTER

PECASE: Hierarchical Abstractions of Hybrid Systems

NSF0132716$375,0002002–2007PIRePORTER

Morphological Substrates of Synaptic Transmission

NSF8406724$193,0011984–1988PIRePORTER

Morphological Substrates of Synaptic Transmission

NSF8004688$31,8501981–1984PIRePORTER

Morphological Substrates of Synaptic Transmission

NSF7728493$77,2001977–1980PIRePORTER

Recent publications

Grants

Frequent collaborators