Qiyi Tang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 27

Top Topics

Markov Decision Process

Probabilistic Automata

Top Venues

J. Comput. Syst. Sci.

Publications

Stefan Kiefer, Qiyi Tang
Minimising the Probabilistic Bisimilarity Distance. CoRR (2024)
Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
Semantic flowers for good-for-games and deterministic automata. Inf. Process. Lett. 185 (2024)
Stefan Kiefer, Qiyi Tang
Minimising the Probabilistic Bisimilarity Distance. CONCUR (2024)
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137 (2024)
Yong Li, Sven Schewe, Qiyi Tang
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages. ATVA (1) (2023)
Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
Deciding What Is Good-For-MDPs. CONCUR (2023)
Sven Schewe, Qiyi Tang
On the Succinctness of Good-for-MDPs Automata. CoRR (2023)
Yong Li, Sven Schewe, Qiyi Tang
A novel family of finite automata for recognizing and learning ω-regular languages. CoRR (2023)
Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
Deciding What is Good-for-MDPs. CoRR (2022)
Stefan Kiefer, Qiyi Tang
Strategies for MDP Bisimilarity Equivalence and Inequivalence. CONCUR (2022)
Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao
Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM (2022)
Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel
Probabilistic Model Checking of Randomized Java Code. SPIN (2021)
Stefan Kiefer, Qiyi Tang
Approximate Bisimulation Minimisation. FSTTCS (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17 (1) (2021)
Stefan Kiefer, Qiyi Tang
Approximate Bisimulation Minimisation. CoRR (2021)
Stefan Kiefer, Qiyi Tang
Comparing Labelled Markov Decision Processes. CoRR (2020)
Qiyi Tang, Franck van Breugel
Deciding probabilistic bisimilarity distance one for probabilistic automata. J. Comput. Syst. Sci. 111 (2020)
Stefan Kiefer, Qiyi Tang
Comparing Labelled Markov Decision Processes. FSTTCS (2020)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR (2019)
Cyrille Artho, Monali Pande, Qiyi Tang
Visual Analytics for Concurrent Java Executions. ASE (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR (2019)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Qiyi Tang, Franck van Breugel
Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata. CONCUR (2018)
Qiyi Tang, Franck van Breugel
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains. CAV (1) (2018)
Qiyi Tang, Franck van Breugel
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains. CONCUR (2017)
Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances via Policy Iteration. CONCUR (2016)