Hongyang Qu

Available identifiers

Publication	Date of Publication	Type
Reasoning about strategies under partial observability and fairness constraints	2021-05-06	Paper
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication	2017-12-05	Paper
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints	2015-06-01	Paper
Compositional probabilistic verification through multi-objective model checking	2013-12-13	Paper
Automatic data-abstraction in model checking multi-agent systems	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	2011-03-09	Paper
A data symmetry reduction technique for temporal-epistemic logic	2009-12-01	Paper
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic	2009-03-17	Paper
Grey-Box Checking	2009-03-11	Paper
Automatic generation of path conditions for concurrent timed systems	2008-10-07	Paper
Stronger Reduction Criteria for Local First Search	2008-09-11	Paper
The Implementation of Mazurkiewicz Traces in POEM	2008-09-04	Paper
Adding Invariants to Event Zone Automata	2008-07-08	Paper
Generating Path Conditions for Timed Systems	2007-11-29	Paper
Calculating Probabilities of Real-Time Test Cases	2007-05-02	Paper
Time Unbalanced Partial Order	2007-05-02	Paper
ENFORCING CONCURRENT TEMPORAL BEHAVIORS	2006-08-21	Paper

This page was built for person: Hongyang Qu