关注
Mirco Giacobbe
Mirco Giacobbe
在 bham.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Formal Synthesis of Lyapunov Neural Networks
A Abate, D Ahmed, M Giacobbe, A Peruffo
IEEE Control Systems Letters 5 (3), 773-778, 2020
1222020
FOSSIL: a software tool for the formal synthesis of Lyapunov functions and barrier certificates using neural networks
A Abate, D Ahmed, A Edwards, M Giacobbe, A Peruffo
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
662021
Counterexample-guided refinement of template polyhedra
S Bogomolov, G Frehse, M Giacobbe, TA Henzinger
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
372017
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
272020
Learning probabilistic termination proofs
A Abate, M Giacobbe, D Roy
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
252021
Shielding Atari Games with Bounded Prescience
M Giacobbe, M Hasanbeig, D Kroening, H Wijk
Proceedings of the 20th International Conference on Autonomous Agents and …, 2021
252021
Verifying reinforcement learning up to infinity
E Bacci, M Giacobbe, D Parker
Proceedings of the International Joint Conference on Artificial Intelligence …, 2021
242021
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
182015
Neural termination analysis
M Giacobbe, D Kroening, J Parsert
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
152022
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics
G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ...
EasyChair, 2019
142019
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
IEEE Transactions on Automatic Control, 2021
132021
Continuous-time models for system design and analysis
R Alur, M Giacobbe, TA Henzinger, KG Larsen, M Mikučionis
Computing and Software Science: State of the Art and Perspectives, 452-477, 2019
132019
Model checking the evolution of gene regulatory networks
M Giacobbe, CC Guet, A Gupta, TA Henzinger, T Paixão, T Petrov
Acta Informatica 54, 765-787, 2017
132017
Predicate abstraction for programmable logic controllers
S Biallas, M Giacobbe, S Kowalewski
International Workshop on Formal Methods for Industrial Critical Systems …, 2013
102013
Conic abstractions for hybrid systems
S Bogomolov, M Giacobbe, TA Henzinger, H Kong
Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017
82017
Space-time interpolants
G Frehse, M Giacobbe, TA Henzinger
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
72018
Quantitative Verification with Neural Networks
A Abate, A Edwards, M Giacobbe, H Punchihewa, D Roy
Proceedings of the 34th International Conference on Concurrency Theory …, 2023
4*2023
Neural Abstractions
A Abate, A Edwards, M Giacobbe
Advances in Neural Information Processing Systems, 2022
42022
Stochastic Omega-Regular Verification and Control with Supermartingales
A Abate, M Giacobbe, D Roy
arXiv preprint arXiv:2405.17304, 2024
12024
Bisimulation Learning
A Abate, M Giacobbe, Y Schnitzer
arXiv preprint arXiv:2405.15723, 2024
12024
系统目前无法执行此操作,请稍后再试。
文章 1–20