Skip to main navigation Skip to search Skip to main content
No photo of Mirco Giacobbe

View Scopus Profile

Mirco Giacobbe

Dr.

 https://orcid.org/0000-0001-8180-0904
20132026

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
View full fingerprint

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
Explore network further

  • Feedback-evolving Mean-field Games

    Robbins, S., Giacobbe, M. & Stella, L., 12 Jan 2026, 2025 IEEE 64th Conference on Decision and Control (CDC). IEEE, p. 3176-3181 6 p. (IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    95 Downloads (Pure)

  • Branching Bisimulation Learning

    Abate, A., Giacobbe, M., Micheletti, C. & Schnitzer, Y., 23 Jul 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV. Piskac, R. & Rakamaric, Z. (eds.). 1 ed. Springer, p. 161-184 24 p. (Lecture Notes in Computer Science; vol. 15934).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    28 Downloads (Pure)

  • Let a Neural Network Be Your Invariant

    Giacobbe, M., Kroening, D., Pal, A. & Tautschnig, M., 18 Sept 2025, (Accepted/In press) Advances in Neural Information Processing Systems 38 (NeurIPS 2025) . NeurIPS, (Advances in Neural Information Processing Systems; vol. 38).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    244 Downloads (Pure)

  • Neural Continuous-Time Supermartingale Certificates

    Neustroev, G., Giacobbe, M. & Lukina, A., 11 Apr 2025, AAAI-25 Special Track on AI Alignment. Walsh, T., Shah, J. & Kolter, Z. (eds.). Association for the Advancement of Artificial Intelligence, p. 27538-27546 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 39, no. 26).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Quantitative Supermartingale Certificates

    Abate, A., Giacobbe, M. & Roy, D., 22 Jul 2025, Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II. Piskac, R. & Rakamaric, Z. (eds.). 1 ed. Springer, p. 3-28 26 p. (Lecture Notes in Computer Science; vol. 15932).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    28 Downloads (Pure)
View all 32 research outputs