Ying Liu

Orcid: 0009-0003-4619-8112

According to our database¹, Ying Liu authored at least 3 papers between 2023 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

A Scenario Approach for Parametric Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Artifact for the ATVA'23 paper "Scenario Approach for Parametric Markov Models".

[BibT_eX]

[DOI]

Dataset, July, 2023

Scenario Approach for Parametric Markov Models.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

Ying Liu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...