default search action
Hongyang Qu 0001
Person information
- affiliation: Sheffield University, UK
- affiliation (former): Imperial College London, UK
Other persons with the same name
- Hongyang Qu 0002 — Northwestern Polytechnic University, Xi'an, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j21]Mohammed Al-Nuaimi
, Sapto Wibowo
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Networks 10(3): 42 (2021) - 2020
- [j20]Nagat Drawel, Hongyang Qu, Jamal Bentahar
Specification and automatic verification of trust-based multi-agent systems. Future Gener. Comput. Syst. 107: 1047-1060 (2020) - [c49]Nagat Drawel, Jamal Bentahar, Hongyang Qu:
Computationally Grounded Quantitative Trust with Time. AAMAS 2020: 1837-1839 - [c48]Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres:
Multi-model Adaptive Learning for Robots Under Uncertainty. ICAART (1) 2020: 50-61 - [c47]Michalis Smyrnakis
On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. ICAART (Revised Selected Papers) 2020: 73-105
2010 – 2019
- 2019
- [j19]Qixia Yuan, Andrzej Mizera, Jun Pang, Hongyang Qu:
A new decomposition-based method for detecting attractors in synchronous Boolean networks. Sci. Comput. Program. 180: 18-35 (2019) - [j18]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Comparing approaches for model-checking strategies under imperfect information and fairness constraints. Int. J. Softw. Tools Technol. Transf. 21(4): 449-469 (2019) - [j17]Andrzej Mizera
Taming Asynchrony for Attractor Detection in Large Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16(1): 31-42 (2019) - [i7]Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu:
Online Observability of Boolean Control Networks. CoRR abs/1903.07462 (2019) - 2018
- [j16]Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Improving Multi-Robot Coordination by Game-Theoretic Learning Algorithms. Int. J. Artif. Intell. Tools 27(7): 1860015:1-1860015:24 (2018) - [c46]Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres:
Computational Framework for Verifiable Decisions of Self-Driving Vehicles. CCTA 2018: 638-645 - [c45]Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. CMSB 2018: 277-284 - [c44]Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable decision making framework for autonomous ground vehicles. ISR 2018: 26-33 - 2017
- [j15]Warda El Kholy, Jamal Bentahar
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication. Fundam. Informaticae 152(3): 223-271 (2017) - [j14]Alessio Lomuscio
MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19(1): 9-30 (2017) - [c43]Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. ICTAI 2017: 417-424 - [c42]Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
A New Decomposition Method for Attractor Detection in Large Synchronous Boolean Networks. SETTA 2017: 232-249 - [i6]Andrzej Mizera, Jun Pang, Hongyang Qu, Qixia Yuan:
Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report). CoRR abs/1704.06530 (2017) - 2016
- [j13]Qixia Yuan, Hongyang Qu, Jun Pang, Andrzej Mizera:
Improving BDD-based attractor detection for synchronous Boolean networks. Sci. China Inf. Sci. 59(8): 080101:1-080101:16 (2016) - [j12]Hongyang Qu
Verification of logical consistency in robotic reasoning. Robotics Auton. Syst. 83: 44-56 (2016) - [c41]Paolo Izzo, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable autonomous control architecture with reasoning. CDC 2016: 4985-4991 - [c40]Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres:
Testing, Verification and Improvements of Timeliness in ROS Processes. TAROS 2016: 146-157 - [i5]Paolo Izzo, Hongyang Qu, Sandor M. Veres:
Reducing complexity of autonomous control agents for verifiability. CoRR abs/1603.01202 (2016) - [i4]Hongyang Qu, Sandor M. Veres:
Verification of Logical Consistency in Robotic Reasoning. CoRR abs/1611.03322 (2016) - [i3]Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres:
Testing, Verification and Improvements of Timeliness in ROS processes. CoRR abs/1611.03355 (2016) - [i2]Paolo Izzo, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable autonomous control architecture with reasoning. CoRR abs/1611.03372 (2016) - [i1]Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres:
SMCL - Stochastic Model Checker for Learning in Games. CoRR abs/1611.07420 (2016) - 2015
- [j11]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar
Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intell. Syst. 30(2): 36-44 (2015) - [j10]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Inf. Comput. 242: 128-156 (2015) - [c39]Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms. AAMAS 2015: 1889-1890 - [c38]Hongyang Qu, Qixia Yuan, Jun Pang, Andrzej Mizera:
Improving BDD-based Attractor Detection for Synchronous Boolean Networks. Internetware 2015: 212-220 - [c37]Hongyang Qu, Andreas Kolling, Sandor M. Veres:
Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. TAROS 2015: 216-228 - 2014
- [j9]Warda El Kholy, Jamal Bentahar
Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols. Expert Syst. Appl. 41(16): 7478-7494 (2014) - [j8]Klaus Dräger, Marta Z. Kwiatkowska, David Parker
Local abstraction refinement for probabilistic timed programs. Theor. Comput. Sci. 538: 37-53 (2014) - [j7]Warda El Kholy, Jamal Bentahar
Conditional Commitments: Reasoning and Model Checking. ACM Trans. Softw. Eng. Methodol. 24(2): 9:1-9:49 (2014) - [c36]Hongyang Qu, Sandor M. Veres:
On efficient consistency checks by robots. ECC 2014: 336-343 - [c35]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. ICFEM 2014: 27-42 - [c34]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar
Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols. ICWS 2014: 49-56 - [p1]Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
On Incremental Quantitative Verification for Probabilistic Systems. HOWARD-60 2014: 245-257 - 2013
- [j6]Marta Z. Kwiatkowska, Gethin Norman
Compositional probabilistic verification through multi-objective model checking. Inf. Comput. 232: 38-65 (2013) - [c33]Warda El Kholy, Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
Representing and reasoning about communicative conditional commitments. AAMAS 2013: 1169-1170 - [c32]Taolue Chen
Model Repair for Markov Decision Processes. TASE 2013: 85-92 - [c31]Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Reasoning about Strategies under Partial Observability and Fairness Constraints. SR 2013: 71-79 - 2012
- [j5]Alessio Lomuscio
Towards verifying contract regulated service composition. Auton. Agents Multi Agent Syst. 24(3): 345-373 (2012) - [j4]Jamal Bentahar
Communicative commitments: Model checking and complexity analysis. Knowl. Based Syst. 35: 21-34 (2012) - [c30]Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma:
Incremental Runtime Verification of Probabilistic Systems. RV 2012: 314-319 - 2011
- [c29]Mohamed El-Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli:
On the verification of social commitments and time. AAMAS 2011: 483-490 - [c28]Marta Z. Kwiatkowska, David Parker
Incremental quantitative verification for Markov decision processes. DSN 2011: 359-370 - [c27]Henri Hansen
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST 2011: 203-212 - [c26]Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman
Quantitative Multi-objective Verification for Probabilistic Systems. TACAS 2011: 112-127 - 2010
- [j3]Alessio Lomuscio
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundam. Informaticae 101(1-2): 71-90 (2010) - [c25]Alessio Lomuscio, Wojciech Penczek, Hongyang Qu:
Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems. AAMAS 2010: 659-666 - [c24]Marta Z. Kwiatkowska
Parallel Model Checking for Temporal Epistemic Logic. ECAI 2010: 543-548 - [c23]Felicita Di Giandomenico, Marta Z. Kwiatkowska
Dependability Analysis and Verification for Connected Systems. ISoLA (2) 2010: 263-277 - [c22]Alessio Lomuscio
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt 2010: 52-68 - [c21]Marta Z. Kwiatkowska, Gethin Norman
Assume-Guarantee Verification for Probabilistic Systems. TACAS 2010: 23-37
2000 – 2009
- 2009
- [c20]Mika Cohen, Mads Dam, Alessio Lomuscio
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83 - [c19]Alessio Lomuscio
MCMAS: A Model Checker for the Verification of Multi-Agent Systems. CAV 2009: 682-688 - [c18]Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu:
Optimizing Probabilities of Real-Time Test Case Execution. ICST 2009: 446-455 - [c17]Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu:
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726 - [c16]Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu:
Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE 2009: 287-288 - 2008
- [j2]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3): 275-292 (2008) - [c15]Alessio Lomuscio, Hongyang Qu, Monika Solanki:
Towards verifying compliance in agent-based web service compositions. AAMAS (1) 2008: 265-272 - [c14]Alessio Lomuscio
Towards Verifying Contract Regulated Service Composition. ICWS 2008: 254-261 - [c13]Alessio Lomuscio
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic. MoChArt 2008: 106-121 - 2007
- [c12]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Test Case Generation for Ultimately Periodic Paths. Haifa Verification Conference 2007: 120-135 - [c11]Alessio Lomuscio
Verifying Temporal and Epistemic Properties of Web Service Compositions. ICSOC 2007: 456-461 - 2006
- [j1]Doron A. Peled, Hongyang Qu:
Enforcing Concurrent Temporal Behaviors. Int. J. Found. Comput. Sci. 17(4): 743-762 (2006) - [c10]Peter Niebert, Hongyang Qu:
The Implementation of Mazurkiewicz Traces in POEM. ATVA 2006: 508-522 - [c9]Peter Niebert, Hongyang Qu:
Adding Invariants to Event Zone Automata. FORMATS 2006: 290-305 - [c8]Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu:
Grey-Box Checking. FORTE 2006: 420-435 - [c7]Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler:
Stronger Reduction Criteria for Local First Search. ICTAC 2006: 108-122 - 2005
- [b1]Hongyang Qu:
Theoretical and practical tools for validating discrete and real-time systems. University of Warwick, Coventry, UK, 2005 - [c6]Marcin Jurdzinski, Doron A. Peled, Hongyang Qu:
Calculating Probabilities of Real-Time Test Cases. FATES 2005: 134-151 - [c5]Doron A. Peled, Hongyang Qu:
Time Unbalanced Partial Order. FATES 2005: 152-169 - [c4]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis
Generating Path Conditions for Timed Systems. IFM 2005: 5-19 - 2004
- [c3]Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis:
Automatic Generation of Path Conditions for Timed Systems. ISoLA (Preliminary proceedings) 2004: 243-249 - [c2]Doron A. Peled, Hongyang Qu:
Enforcing Concurrent Temporal Behaviors. RV@ETAPS 2004: 65-83 - 2003
- [c1]Doron A. Peled, Hongyang Qu:
Automatic Verification of Annotated Code. FORTE 2003: 127-143
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: