Oleg Sokolsky
Scholar

Oleg Sokolsky

Google Scholar ID: J0SKz5YAAAAJ
University of Pennsylvania
Software design and software architecture for embedded systemsformal methodsruntime verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,688
 
H-index
24
 
i10-index
78
 
Publications
20
 
Co-authors
28
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
28 total
Insup Lee
Insup Lee
Professor, Computer and Information Science, University of Pennsylvania
Co-author 2
Co-author 2
Linh Thi Xuan Phan
Linh Thi Xuan Phan
Professor, University of Pennsylvania
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Mahesh Viswanathan
Mahesh Viswanathan
University of Illinois, Urbana-Champaign
George Pappas
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Nicola Bezzo
Nicola Bezzo
Associate Professor, University of Virginia