Research output per year
Research output 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/Preprint › Preprint
File71 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 proceeding › Conference contribution
Open AccessFile90 Downloads (Pure) -
Stochastic Omega-Regular Verification and Control with Supermartingales
Abate, A., Giacobbe, M. & Roy, D., 27 May 2024, arXiv.Research output: Working paper/Preprint › Preprint
File91 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 proceeding › Conference 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 proceeding › Conference contribution
Open AccessFile18 Downloads (Pure)
Projects
- 2 Active
-
Safeguarded AI TA3: AstaZeneca + Birmingham
Giacobbe, M. (Principal Investigator) & Stella, L. (Co-Investigator)
Advanced Research and Invention Agency
27/01/25 → 31/03/26
Project: Other Government Departments
-
Supermartingale Certificates for Temporal Logic
Giacobbe, M. (Principal Investigator)
Advanced Research and Invention Agency
16/09/24 → 15/09/25
Project: Research