Qiyi Tang

37 papers A* 3A 1B 9C 1Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2026 A* conf
Good-for-MDP State Reduction for Stochastic LTL Planning.
AAAI
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2026 B conf
The Complexity of Games with Randomised Control.
FoSSaCS
Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2026 J jnl
The Complexity of Games with Randomised Control.
CoRR
Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak, Shufang Zhu
2025 — conf
Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.
CAV (2)
Yong Li, Soumyajit Paul, Sven Schewe, Qiyi Tang
2025 A conf
Efficient Learning of Weak Deterministic Büchi Automata.
ECAI
Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang
2025 J jnl
Efficient Learning of Weak Deterministic Büchi Automata.
CoRR
Mona Alluwaym, Yong Li, Sven Schewe, Qiyi Tang
2025 J jnl
Good-for-MDP State Reduction for Stochastic LTL Planning.
CoRR
Christoph Weinhuber, Giuseppe De Giacomo, Yong Li, Sven Schewe, Qiyi Tang
2025 B conf
Resolving Nondeterminism by Chance.
CONCUR
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2025 J jnl
Resolving Nondeterminism by Chance.
CoRR
Soumyajit Paul, David Purser, Sven Schewe, Qiyi Tang, Patrick Totzke, Di-De Yen
2024 A* conf
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata.
IJCAI
Yong Li, Sven Schewe, Qiyi Tang
2024 J jnl
Bridging formal methods and machine learning with model checking and global optimisation.
J. Log. Algebraic Methods Program.
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
2024 B conf
Minimising the Probabilistic Bisimilarity Distance.
CONCUR
Stefan Kiefer, Qiyi Tang
2024 J jnl
Minimising the Probabilistic Bisimilarity Distance.
CoRR
Stefan Kiefer, Qiyi Tang
2024 J jnl
Semantic flowers for good-for-games and deterministic automata.
Inf. Process. Lett.
Daniele Dell'Erba, Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
2023 — conf
A Novel Family of Finite Automata for Recognizing and Learning ømega-Regular Languages.
ATVA (1)
Yong Li, Sven Schewe, Qiyi Tang
2023 J jnl
A novel family of finite automata for recognizing and learning ω-regular languages.
CoRR
Yong Li, Sven Schewe, Qiyi Tang
2023 B conf
Deciding What Is Good-For-MDPs.
CONCUR
Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
2023 J jnl
On the Succinctness of Good-for-MDPs Automata.
CoRR
Sven Schewe, Qiyi Tang
2022 C conf
Bridging Formal Methods and Machine Learning with Global Optimisation.
ICFEM
Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao
2022 J jnl
Deciding What is Good-for-MDPs.
CoRR
Sven Schewe, Qiyi Tang, Tansholpan Zhanabekova
2022 B conf
Strategies for MDP Bisimilarity Equivalence and Inequivalence.
CONCUR
Stefan Kiefer, Qiyi Tang
2021 — conf
Approximate Bisimulation Minimisation.
FSTTCS
Stefan Kiefer, Qiyi Tang
2021 J jnl
Approximate Bisimulation Minimisation.
CoRR
Stefan Kiefer, Qiyi Tang
2021 J jnl
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
Log. Methods Comput. Sci.
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2021 — conf
Probabilistic Model Checking of Randomized Java Code.
SPIN
Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel
2020 — conf
Comparing Labelled Markov Decision Processes.
FSTTCS
Stefan Kiefer, Qiyi Tang
2020 J jnl
Comparing Labelled Markov Decision Processes.
CoRR
Stefan Kiefer, Qiyi Tang
2020 J jnl
Deciding probabilistic bisimilarity distance one for probabilistic automata.
J. Comput. Syst. Sci.
Qiyi Tang, Franck van Breugel
2019 J jnl
A Systematic Impact Study for Fuzzer-Found Compiler Bugs.
CoRR
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2019 J jnl
Compiler fuzzing: how much does it matter?
Proc. ACM Program. Lang.
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2019 B conf
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
CONCUR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019 J jnl
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.
CoRR
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
2019 A* conf
Visual Analytics for Concurrent Java Executions.
ASE
Cyrille Artho, Monali Pande, Qiyi Tang
2018 — conf
Deciding Probabilistic Bisimilarity Distance One for Labelled Markov Chains.
CAV (1)
Qiyi Tang, Franck van Breugel
2018 B conf
Deciding Probabilistic Bisimilarity Distance One for Probabilistic Automata.
CONCUR
Qiyi Tang, Franck van Breugel
2017 B conf
Algorithms to Compute Probabilistic Bisimilarity Distances for Labelled Markov Chains.
CONCUR
Qiyi Tang, Franck van Breugel
2016 B conf
Computing Probabilistic Bisimilarity Distances via Policy Iteration.
CONCUR
Qiyi Tang, Franck van Breugel