Mirco Giacobbe

Dr.

20132025

Research activity per year

Fingerprint

Dive into the research topics where Mirco Giacobbe is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Bisimulation Learning

    Abate, A., Giacobbe, M. & Schnitzer, Y., 24 May 2024, arXiv.

    Research output: Working paper/PreprintPreprint

    File
    71 Downloads (Pure)
  • Neural Model Checking

    Giacobbe, M., Kroening, D., Pal, A. & Tautschnig, M., 25 Sept 2024, (Accepted/In press) Advances in Neural Information Processing Systems 38 (NeurIPS 2024). NeurIPS, 22 p. (Advances in neural information processing systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    90 Downloads (Pure)
  • Stochastic Omega-Regular Verification and Control with Supermartingales

    Abate, A., Giacobbe, M. & Roy, D., 27 May 2024, arXiv.

    Research output: Working paper/PreprintPreprint

    File
    89 Downloads (Pure)
  • On the Trade-Off Between Efficiency and Precision of Neural Abstraction

    Edwards, A., Giacobbe, M. & Abate, A., 15 Sept 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). 1 ed. Springer, p. 152–171 20 p. (Lecture Notes in Computer Science; vol. 14287).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Quantitative Verification with Neural Networks

    Abate, A., Edwards, A., Giacobbe, M., Punchihewa, H. & Roy, D., 7 Sept 2023, 34th International Conference on Concurrency Theory: CONCUR 2023, September 18–23, 2023, Antwerp, Belgium. Pérez, G. & Raskin, J.-F. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik , p. 22:1-22:18 18 p. (Leibniz International Proceedings in Informatics; vol. 279).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    17 Downloads (Pure)