I am Yujian Cao (曹宇健), a Ph.D. student at the School of Computer Science and Informatics, University of Liverpool, advised by Dr. Shufang Zhu and Prof. Sven Schewe, with support from the China Scholarship Council (CSC). Before starting my PhD, I worked as a network engineer at China Unicom and in IT support at Festo.
My current research focuses on formal methods, particularly reactive synthesis with linear temporal logic on finite traces (LTLf). I hope to explore interdisciplinary applications of formal methods, especially in artificial intelligence.
Warning
Problem: The current name of your GitHub Pages repository ("Solution: Please consider renaming the repository to "
http://".
However, if the current repository name is intended, you can ignore this message by removing "{% include widgets/debug_repo_name.html %}" in index.html.
Action required
Problem: The current root path of this site is "baseurl ("_config.yml.
Solution: Please set the
baseurl in _config.yml to "Education
-
University of LiverpoolPhD in Computer ScienceSep. 2025 - Present
-
Hong Kong Baptist UniversityMA in Artificial Intelligence and Digital MediaSep. 2022 - Jul. 2024
-
Anhui Agricultural UniversityBEng in Computer Science and TechnologySep. 2018 - Jun. 2022
-
Anhui Normal UniversityBA in Chinese Language and Literature (Part-time)Aug. 2019 - Dec. 2022
News
Publications
Optimal LTLf Synthesis
Yujian Cao, Sven Schewe, Qiyi Tang, Shufang Zhu
Strategy synthesis typically follows an all-or-nothing paradigm, returning unrealisable whenever a specification cannot be guaranteed in an uncertain environment. In this paper, we introduce optimal LTLf synthesis, where the goal is to realise as many objectives as possible from a given specification consisting of multiple objectives, especially for the case that they are not all jointly realisable.
Optimal LTLf Synthesis
Yujian Cao, Sven Schewe, Qiyi Tang, Shufang Zhu
Strategy synthesis typically follows an all-or-nothing paradigm, returning unrealisable whenever a specification cannot be guaranteed in an uncertain environment. In this paper, we introduce optimal LTLf synthesis, where the goal is to realise as many objectives as possible from a given specification consisting of multiple objectives, especially for the case that they are not all jointly realisable.