Qiyi Tang

According to our database, Qiyi Tang authored at least 21 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Semantic flowers for good-for-games and deterministic automata.

Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova

Inf. Process. Lett., March, 2024

Bridging formal methods and machine learning with model checking and global optimisation.

Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao

J. Log. Algebraic Methods Program., February, 2024

Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata.

Yong Li, Sven Schewe, Qiyi Tang

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Minimising the Probabilistic Bisimilarity Distance.

Stefan Kiefer, Qiyi Tang

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

On the Succinctness of Good-for-MDPs Automata.

Sven Schewe, Qiyi Tang

CoRR, 2023

A novel family of finite automata for recognizing and learning ω-regular languages.

Yong Li, Sven Schewe, Qiyi Tang

CoRR, 2023

Deciding What Is Good-For-MDPs.

Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova

Proceedings of the 34th International Conference on Concurrency Theory, 2023

A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages.

Yong Li, Sven Schewe, Qiyi Tang

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Bridging Formal Methods and Machine Learning with Global Optimisation.

Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao

Proceedings of the Formal Methods and Software Engineering, 2022

Strategies for MDP Bisimilarity Equivalence and Inequivalence.

Stefan Kiefer, Qiyi Tang

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel

Log. Methods Comput. Sci., 2021

Probabilistic Model Checking of Randomized Java Code.

Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Approximate Bisimulation Minimisation.

Stefan Kiefer, Qiyi Tang

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2020

Deciding probabilistic bisimilarity distance one for probabilistic automata.

Qiyi Tang, Franck van Breugel

J. Comput. Syst. Sci., 2020

Comparing Labelled Markov Decision Processes.

Stefan Kiefer, Qiyi Tang

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Compiler fuzzing: how much does it matter?

Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar

Proc. ACM Program. Lang., 2019

A Systematic Impact Study for Fuzzer-Found Compiler Bugs.

Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar

CoRR, 2019

Visual Analytics for Concurrent Java Executions.

Cyrille Artho, Monali Pande, Qiyi Tang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.

Qiyi Tang, Franck van Breugel

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains.

Qiyi Tang, Franck van Breugel

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Computing Probabilistic Bisimilarity Distances via Policy Iteration.

Qiyi Tang, Franck van Breugel

Proceedings of the 27th International Conference on Concurrency Theory, 2016