Qiyi Tang

According to our database, Qiyi Tang authored at least 31 papers between 2016 and 2026.

Collaborative distances:

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

2026

Optimal LTLf Synthesis.

Yujian Cao, Sven Schewe, Qiyi Tang, Shufang Zhu

CoRR, May, 2026

Hyper-Minimization for Deterministic Register Automata.

Yong Li, Qiyi Tang, Di-De Yen

CoRR, May, 2026

Experiments for Random Arena Games.

Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu

Dataset, January, 2026

The Complexity of Games with Randomised Control.

Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu

Proceedings of the Foundations of Software Science and Computation Structures, 2026

Good-for-MDP State Reduction for Stochastic LTL Planning.

Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Good-for-MDP State Reduction for Stochastic LTL Planning.

Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang

Dataset, November, 2025

wDBA Learning.

Mona Alluwaym, Sven Schewe, Qiyi Tang

Dataset, August, 2025

Efficient Learning of Weak Deterministic Büchi Automata.

Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

Resolving Nondeterminism by Chance.

Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen

Proceedings of the 36th International Conference on Concurrency Theory, 2025

Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.

Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

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

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

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

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.

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

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.

Qiyi Tang, Franck van Breugel

Proceedings of the 29th International Conference on Concurrency Theory, 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