Compiler fuzzing: How much does it matter? M Marcozzi, Q Tang, AF Donaldson, C Cadar
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
43 2019 Computing probabilistic bisimilarity distances via policy iteration Q Tang, F van Breugel
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
19 2016 Computing Probabilistic Bisimilarity Distances for Probabilistic Automata G Bacci, G Bacci, KG Larsen, R Mardare, Q Tang, F van Breugel
Logical Methods in Computer Science 17 (1), 9:1–9:36, 2021
18 2021 Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains Q Tang, F van Breugel
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
11 2017 Bridging formal methods and machine learning with global optimisation X Huang, W Ruan, Q Tang, X Zhao
International Conference on Formal Engineering Methods, 1-19, 2022
9 2022 Deciding probabilistic bisimilarity distance one for probabilistic automata Q Tang, F van Breugel
Journal of Computer and System Sciences 111, 57-84, 2020
9 2020 Deciding probabilistic bisimilarity distance one for labelled Markov chains Q Tang, F van Breugel
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
9 2018 Visual analytics for concurrent Java executions C Artho, M Pande, Q Tang
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
8 2019 Deciding what is good-for-MDPs S Schewe, Q Tang, T Zhanabekova
arXiv preprint arXiv:2202.07629, 2022
6 2022 Computing probabilistic bisimilarity distances Q Tang
4 2018 A Systematic Impact Study for Fuzzer-Found Compiler Bugs M Marcozzi, Q Tang, AF Donaldson, C Cadar
arXiv preprint arXiv:1902.09334, 2019
3 2019 Comparing Labelled Markov Decision Processes S Kiefer, Q Tang
40th IARCS Annual Conference on Foundations of Software Technology and …, 2020
2 2020 Comparing labelled Markov decision processes S Kiefer, Q Tang
arXiv preprint arXiv:2009.11643, 2020
2 2020 Guiding probabilistic model checkers by reinforcement learning Q Tang
University of Oxford, 2013
2 2013 Bridging formal methods and machine learning with model checking and global optimisation S Bensalem, X Huang, W Ruan, Q Tang, C Wu, X Zhao
Journal of Logical and Algebraic Methods in Programming 137, 100941, 2024
1 2024 Probabilistic model checking of randomized Java code SZ Fatmi, X Chen, Y Dhamija, M Wildes, Q Tang, F van Breugel
Model Checking Software: 27th International Symposium, SPIN 2021, Virtual …, 2021
1 2021 Semantic flowers for good-for-games and deterministic automata D Dell'Erba, S Schewe, Q Tang, T Zhanabekova
Information Processing Letters 185, 106468, 2024
2024 A Novel Family of Finite Automata for Recognizing and Learning -Regular Languages Y Li, S Schewe, Q Tang
International Symposium on Automated Technology for Verification and …, 2023
2023 On the Succinctness of Good-for-MDPs Automata S Schewe, Q Tang
arXiv preprint arXiv:2307.11483, 2023
2023 Strategies for MDP bisimilarity equivalence and inequivalence S Kiefer, Q Tang
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022
2022