No photo of H. Ma

H. Ma

Filter
Conference contribution

Search results

  • 2022

    ARCH-COMP22 Category Report: Stochastic Models

    Abate, A., Blom, H. A. P., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A. & More Authors, 2022, 9th International Workshop on Applied Verication of Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (eds.). p. 113-141 25 p. (EPiC Series in Computing; vol. 90).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    36 Downloads (Pure)
  • 2021

    ARCH-COMP21 Category Report: Stochastic Models

    Abate, A., Blom, H. A. P., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Ma, H. & More Authors, 2021, 8th International Workshop on Applied Verication of Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (eds.). p. 55-89 35 p. (EPiC Series in Computing; vol. 80).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    35 Downloads (Pure)
  • 2019

    Arch-comp19 category report: Stochastic modelling

    Abate, A., Blom, H. A. P., Cauchi, N., Degiorgio, K., Franzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M. & More Authors, 2019, ARCH19: 6th Internaional Workshop on Applied Verification of Continuous and Hybrid Systems. Vol. 61. p. 62-102 41 p. (EPiC Series in Computing; vol. 61).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    11 Citations (Scopus)
    44 Downloads (Pure)