# Yangjia Li

According to our database

Collaborative distances:

^{1}, Yangjia Li authored at least 14 papers between 2014 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Quantum Hoare Logic.

Archive of Formal Proofs, 2019

Formal Verification of Quantum Algorithms Using Quantum Hoare Logic.

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Reachability Analysis for Solvable Dynamical Systems.

IEEE Trans. Automat. Contr., 2018

Algorithmic analysis of termination problems for quantum programs.

PACMPL, 2018

Robust Non-termination Analysis of Numerical Software.

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems.

J. Systems Science & Complexity, 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

Approximate Bisimulation and Discretization of Hybrid CSP.

Proceedings of the FM 2016: Formal Methods, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.

Proceedings of the FM 2016: Formal Methods, 2016

Computing reachable sets of linear vector fields revisited.

Proceedings of the 2016 European Control Conference, 2016

2014

Model-Checking Linear-Time Properties of Quantum Systems.

ACM Trans. Comput. Log., 2014

Termination of nondeterministic quantum programs.

Acta Inf., 2014

(Un)decidable Problems about Reachability of Quantum Systems.

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014