Pian Yu
Scholar

Pian Yu

Google Scholar ID: j_S77pEAAAAJ
UCL Computer Science
Verification and ControlRobotics and AI
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
344
 
H-index
11
 
i10-index
12
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
2 items
Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
2025
Cited
0
Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
2025
Cited
0
Resume (English only)
Co-authors
15 total
Dimos Dimarogonas
Dimos Dimarogonas
KTH Royal Institute of Technology
Karl H. Johansson
Karl H. Johansson
EECS and Digital Futures, KTH Royal Institute of Technology, Sweden
Co-author 3
Co-author 3
Xiao Tan (谈笑)
Xiao Tan (谈笑)
Postdoc@Caltech
Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Lihua Xie
Lihua Xie
Professor of Electrical Engineering, Nanyang Technological University
Lu Feng
Lu Feng
Associate Professor of Computer Science, University of Virginia
Meng Guo
Meng Guo
Peking University