Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hongyang Qu 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Sandor M. Veres

> Home > Persons > Hongyang Qu 0001

Publications

2021
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsan/Al-NuaimiWQAV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsan/Al-NuaimiWQAV21
Mohammed Al-Nuaimi, Sapto Wibowo, Hongyang Qu, Jonathan M. Aitken, Sandor M. Veres:
Hybrid Verification Technique for Decision-Making of Self-Driving Vehicles. J. Sens. Actuator Networks 10(3): 42 (2021)
2020
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/Smyrnakis0BV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Smyrnakis0BV20
Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres:
Multi-model Adaptive Learning for Robots Under Uncertainty. ICAART (1) 2020: 50-61
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/Smyrnakis0BV20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Smyrnakis0BV20a
Michalis Smyrnakis, Hongyang Qu, Dario Bauso, Sandor M. Veres:
On the Combination of Game-Theoretic Learning and Multi Model Adaptive Filters. ICAART (Revised Selected Papers) 2020: 73-105
2018
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/SmyrnakisQV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/SmyrnakisQV18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/Al-Nuaimi0V18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/Al-Nuaimi0V18
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres:
Computational Framework for Verifiable Decisions of Self-Driving Vehicles. CCTA 2018: 638-645
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/isr2/Al-Nuaimi0V18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isr2/Al-Nuaimi0V18
Mohammed Al-Nuaimi, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable decision making framework for autonomous ground vehicles. ISR 2018: 26-33
2017
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Smyrnakis0V17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Smyrnakis0V17
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Improving Multi-robot Coordination by Game-Theoretic Learning Algorithms. ICTAI 2017: 417-424
2016
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/QuV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/QuV16
Hongyang Qu, Sandor M. Veres:
Verification of logical consistency in robotic reasoning. Robotics Auton. Syst. 83: 44-56 (2016)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/IzzoQV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/IzzoQV16
Paolo Izzo, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable autonomous control architecture with reasoning. CDC 2016: 4985-4991
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/HazimQV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/HazimQV16
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres:
Testing, Verification and Improvements of Timeliness in ROS Processes. TAROS 2016: 146-157
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/IzzoQV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/IzzoQV16
Paolo Izzo, Hongyang Qu, Sandor M. Veres:
Reducing complexity of autonomous control agents for verifiability. CoRR abs/1603.01202 (2016)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/QuV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/QuV16
Hongyang Qu, Sandor M. Veres:
Verification of Logical Consistency in Robotic Reasoning. CoRR abs/1611.03322 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HazimQV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HazimQV16
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres:
Testing, Verification and Improvements of Timeliness in ROS processes. CoRR abs/1611.03355 (2016)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/IzzoQV16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/IzzoQV16a
Paolo Izzo, Hongyang Qu, Sandor M. Veres:
A stochastically verifiable autonomous control architecture with reasoning. CoRR abs/1611.03372 (2016)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/QuSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/QuSV16
Hongyang Qu, Michalis Smyrnakis, Sandor M. Veres:
SMCL - Stochastic Model Checker for Learning in Games. CoRR abs/1611.07420 (2016)
2015
[c39]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/SmyrnakisQV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SmyrnakisQV15
Michalis Smyrnakis, Hongyang Qu, Sandor M. Veres:
Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms. AAMAS 2015: 1889-1890
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/taros/QuKV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/taros/QuKV15
Hongyang Qu, Andreas Kolling, Sandor M. Veres:
Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. TAROS 2015: 216-228
2014
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/QuV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/QuV14
Hongyang Qu, Sandor M. Veres:
On efficient consistency checks by robots. ECC 2014: 336-343

a service of

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.