Mirco Giacobbe
Title
Cited by
Cited by
Year
Counterexample-guided refinement of template polyhedra
S Bogomolov, G Frehse, M Giacobbe, TA Henzinger
International Conference on Tools and Algorithms for the Construction and …, 2017
192017
Model checking gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
International Conference on Tools and Algorithms for the Construction and …, 2015
172015
Predicate abstraction for programmable logic controllers
S Biallas, M Giacobbe, S Kowalewski
International Workshop on Formal Methods for Industrial Critical Systems …, 2013
92013
Formal Synthesis of Lyapunov Neural Networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
arXiv preprint arXiv:2003.08910, 2020
72020
Model checking the evolution of gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
Acta Informatica 54 (8), 765-787, 2017
62017
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
G Frehse, A Abate, D Adzkiya, L Bu, M Giacobbe, MSU Mufid, E Zaffanella
ARCH@ CPSIoTWeek, 1-13, 2019
42019
Continuous-time models for system design and analysis
R Alur, M Giacobbe, TA Henzinger, KG Larsen, M Mikučionis
Computing and Software Science, 452-477, 2019
42019
Conic abstractions for hybrid systems
S Bogomolov, M Giacobbe, TA Henzinger, H Kong
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
42017
Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems
Y Gao, A Abate, FJ Jiang, M Giacobbe, L Xie, KH Johansson
arXiv preprint arXiv:2007.02271, 2020
32020
How many bits does it take to quantize your neural network?
M Giacobbe, TA Henzinger, M Lechner
International Conference on Tools and Algorithms for the Construction and …, 2020
32020
Space-time interpolants
G Frehse, M Giacobbe, TA Henzinger
International Conference on Computer Aided Verification, 468-486, 2018
12018
Neural Termination Analysis
M Giacobbe, D Kroening, J Parsert
arXiv preprint arXiv:2102.03824, 2021
2021
Shielding Atari Games with Bounded Prescience
M Giacobbe, M Hasanbeig, D Kroening, H Wijk
arXiv preprint arXiv:2101.08153, 2021
2021
Automatic time-unbounded reachability analysis of hybrid systems
M Giacobbe
2019
ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
G Frehse, A Abate, D Adzkiya, L Bu, M Giacobbe
ARCH@ CPSWeek, 124-133, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–15