default search action
Mirco Giacobbe
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c21]Alessandro Abate
, Mirco Giacobbe
Bisimulation Learning. CAV (3) 2024: 161-183 - [c20]Alessandro Abate
Stochastic Omega-Regular Verification and Control with Supermartingales. CAV (3) 2024: 395-419 - [e1]Guy Avni
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings. Lecture Notes in Computer Science 14846, Springer 2024, ISBN 978-3-031-65111-3 [contents] - [i10]Alessandro Abate, Mirco Giacobbe
Bisimulation Learning. CoRR abs/2405.15723 (2024) - [i9]Alessandro Abate, Mirco Giacobbe
Stochastic Omega-Regular Verification and Control with Supermartingales. CoRR abs/2405.17304 (2024) - 2023
- [c19]Alessandro Abate, Alec Edwards
Quantitative Verification with Neural Networks. CONCUR 2023: 22:1-22:18 - [c18]Alec Edwards
On the Trade-Off Between Efficiency and Precision of Neural Abstraction. QEST 2023: 152-171 - [i8]Alessandro Abate, Alec Edwards, Mirco Giacobbe, Hashan Punchihewa, Diptarko Roy:
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems. CoRR abs/2301.06136 (2023) - [i7]Alessandro Abate, Alec Edwards, Mirco Giacobbe:
Neural Abstractions. CoRR abs/2301.11683 (2023) - [i6]Alec Edwards, Mirco Giacobbe, Alessandro Abate:
On the Trade-off Between Efficiency and Precision of Neural Abstraction. CoRR abs/2307.15546 (2023) - 2022
- [j3]Yulong Gao
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. IEEE Trans. Autom. Control. 67(10): 5071-5086 (2022) - [c17]Goran Frehse
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design 2022: 39-60 - [c16]Alessandro Abate, Alec Edwards, Mirco Giacobbe:
Neural Abstractions. NeurIPS 2022 - [c15]Mirco Giacobbe, Daniel Kroening, Julian Parsert
Neural termination analysis. ESEC/SIGSOFT FSE 2022: 633-645 - 2021
- [j2]Alessandro Abate
Formal Synthesis of Lyapunov Neural Networks. IEEE Control. Syst. Lett. 5(3): 773-778 (2021) - [c14]Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk:
Shielding Atari Games with Bounded Prescience. AAMAS 2021: 1507-1509 - [c13]Alessandro Abate, Mirco Giacobbe
Learning Probabilistic Termination Proofs. CAV (2) 2021: 3-26 - [c12]Alessandro Abate, Daniele Ahmed, Alec Edwards, Mirco Giacobbe, Andrea Peruffo:
A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks. OVERLAY@GandALF 2021: 73-75 - [c11]Alessandro Abate, Daniele Ahmed, Alec Edwards
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks. HSCC 2021: 24:1-24:11 - [c10]Edoardo Bacci, Mirco Giacobbe, David Parker:
Verifying Reinforcement Learning up to Infinity. IJCAI 2021: 2154-2160 - [i5]Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk:
Shielding Atari Games with Bounded Prescience. CoRR abs/2101.08153 (2021) - [i4]Mirco Giacobbe, Daniel Kroening, Julian Parsert:
Neural Termination Analysis. CoRR abs/2102.03824 (2021) - 2020
- [c9]Mirco Giacobbe
How Many Bits Does it Take to Quantize Your Neural Network? TACAS (2) 2020: 79-97 - [i3]Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, Andrea Peruffo:
Automated Formal Synthesis of Lyapunov Neural Networks. CoRR abs/2003.08910 (2020) - [i2]Yulong Gao
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems. CoRR abs/2007.02271 (2020)
2010 – 2019
- 2019
- [c8]Goran Frehse
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13 - [p1]Rajeev Alur, Mirco Giacobbe
Continuous-Time Models for System Design and Analysis. Computing and Software Science 2019: 452-477 - 2018
- [c7]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella:
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS 2018: 1-13 - [c6]Goran Frehse
Space-Time Interpolants. CAV (1) 2018: 468-486 - 2017
- [j1]Mirco Giacobbe
Model checking the evolution of gene regulatory networks. Acta Informatica 54(8): 765-787 (2017) - [c5]Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe:
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSWeek 2017: 124-133 - [c4]Sergiy Bogomolov
Conic Abstractions for Hybrid Systems. FORMATS 2017: 116-132 - [c3]Sergiy Bogomolov
Counterexample-Guided Refinement of Template Polyhedra. TACAS (1) 2017: 589-606 - 2015
- [c2]Mirco Giacobbe
Model Checking Gene Regulatory Networks. TACAS 2015: 469-483 - 2014
- [i1]Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Tiago Paixão, Tatjana Petrov:
Model Checking Gene Regulatory Networks. CoRR abs/1410.7704 (2014) - 2013
- [c1]Sebastian Biallas, Mirco Giacobbe
Predicate Abstraction for Programmable Logic Controllers. FMICS 2013: 123-138
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: