Xiaowei Huang
TitleCited byYear
Safety verification of deep neural networks
X Huang, M Kwiatkowska, S Wang, M Wu
International Conference on Computer Aided Verification, 3-29, 2017
2812017
Concolic Testing for Deep Neural Networks
Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening
ASE2018, 2018
732018
Feature-guided black-box safety testing of deep neural networks
M Wicker, X Huang, M Kwiatkowska
International Conference on Tools and Algorithms for the Construction and …, 2018
702018
Testing Deep Neural Networks
Y Sun, X Huang, D Kroening
arXiv, 2018
692018
Reachability Analysis of Deep Neural Networks with Provable Guarantees
W Ruan, X Huang, M Kwiatkowska
IJCAI2018, 2018
592018
An epistemic strategy logic
X Huang, RVD Meyden
ACM Transactions on Computational Logic (TOCL) 19 (4), 26, 2018
47*2018
Symbolic model checking epistemic strategy logic
X Huang, R van der Meyden
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence …, 2014
352014
Symbolic model checking of probabilistic knowledge
X Huang, C Luo, R Van Der Meyden
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011
232011
Probabilistic alternating-time temporal logic of incomplete information and synchronous perfect recall
X Huang, K Su, C Zhang
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
212012
Improved bounded model checking for a fair branching-time temporal epistemic logic
X Huang, C Luo, R van der Meyden
Model Checking and Artificial Intelligence, 95-111, 2011
172011
A logic of probabilistic knowledge and strategy
X Huang, C Luo
Proceedings of the 2013 international conference on Autonomous agents and …, 2013
162013
A game-based approximate verification of deep neural networks with provable guarantees
M Wu, M Wicker, W Ruan, X Huang, M Kwiatkowska
Theoretical Computer Science, 2019
142019
A temporal logic of strategic knowledge
X Huang, R van der Meyden
Proceedings of the 14th International Conference on Principles of Knowledge …, 2014
142014
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Norm
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
arXiv preprint arXiv:1804.05805, 2018
132018
A Survey of Safety and Trustworthiness of Deep Neural Networks
X Huang, D Kroening, W Ruan, Y Sun, E Thamo, M Wu, X Yi
arXiv preprint arXiv:1812.08342, 2018
12*2018
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time.
X Huang, R van der Meyden
ECAI, 549-554, 2010
122010
Reasoning about cognitive trust in stochastic multiagent systems
X Huang, M Kwiatkowska, M Olejnik
ACM Transactions on Computational Logic (TOCL) 20 (4), 21, 2019
92019
Diagnosability in concurrent probabilistic systems
X Huang
Proceedings of the 2013 international conference on Autonomous agents and …, 2013
92013
Model checking knowledge in pursuit evasion games
X Huang, P Maupin, R Van Der Meyden
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
92011
Model checking for reasoning about incomplete information games
X Huang, J Ruan, M Thielscher
Australasian Joint Conference on Artificial Intelligence, 246-258, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20