Hongyang Qu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reasoning about strategies under partial observability and fairness constraints	2021-05-06	Paper
Reasoning about strategies under partial observability and fairness constraints (available as arXiv preprint)	2021-05-06	Paper
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication Fundamenta Informaticae	2017-12-05	Paper
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints Information and Computation	2015-06-01	Paper
Compositional probabilistic verification through multi-objective model checking Information and Computation	2013-12-13	Paper
Automatic data-abstraction in model checking multi-agent systems Model Checking and Artificial Intelligence	2011-05-27	Paper
Parallel model checking for temporal epistemic logic	2011-05-11	Paper
Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems Fundamenta Informaticae	2011-03-09	Paper
A data symmetry reduction technique for temporal-epistemic logic Automated Technology for Verification and Analysis	2009-12-01	Paper
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic Model Checking and Artificial Intelligence	2009-03-17	Paper
Grey-Box Checking Lecture Notes in Computer Science	2009-03-11	Paper
Automatic generation of path conditions for concurrent timed systems Theoretical Computer Science	2008-10-07	Paper
Stronger Reduction Criteria for Local First Search Lecture Notes in Computer Science	2008-09-11	Paper
The Implementation of Mazurkiewicz Traces in POEM Automated Technology for Verification and Analysis	2008-09-04	Paper
Adding Invariants to Event Zone Automata Lecture Notes in Computer Science	2008-07-08	Paper
Generating Path Conditions for Timed Systems Lecture Notes in Computer Science	2007-11-29	Paper
Calculating Probabilities of Real-Time Test Cases Formal Approaches to Software Testing	2007-05-02	Paper
Time Unbalanced Partial Order Formal Approaches to Software Testing	2007-05-02	Paper
ENFORCING CONCURRENT TEMPORAL BEHAVIORS International Journal of Foundations of Computer Science	2006-08-21	Paper

Research outcomes over time

This page was built for person: Hongyang Qu