Scholar
Oleg Sokolsky
Google Scholar ID: J0SKz5YAAAAJ
University of Pennsylvania
Software design and software architecture for embedded systems
formal methods
runtime verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,688
H-index
24
i10-index
78
Publications
20
Co-authors
28
list available
Publications
3 items
SafeVLA-Bench: A Benchmark for the Success-Safety Gap in Vision-Language-Action Models
2026
Cited
0
SafeGen-LLM: Enhancing Safety Generalization in Task Planning for Robotic Systems
2026
Cited
0
Conservative Perception Models for Probabilistic Model Checking
2025
Cited
0
Co-authors
14 total
Insup Lee
Professor, Computer and Information Science, University of Pennsylvania
Linh Thi Xuan Phan
Professor, University of Pennsylvania
Mahesh Viswanathan
University of Illinois, Urbana-Champaign
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Nicola Bezzo
Associate Professor, University of Virginia
Anna Philippou
University of Cyprus
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
