Mirco Giacobbe

Orcid: 0000-0001-8180-0904

According to our database1, Mirco Giacobbe authored at least 25 papers between 2013 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Quantitative Verification With Neural Networks For Probabilistic Programs and Stochastic Systems.
CoRR, 2023

On the Trade-Off Between Efficiency and Precision of Neural Abstraction.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Quantitative Verification with Neural Networks.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems.
IEEE Trans. Autom. Control., 2022

Neural termination analysis.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Neural Abstractions.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later.
Proceedings of the Principles of Systems Design, 2022

2021
Formal Synthesis of Lyapunov Neural Networks.
IEEE Control. Syst. Lett., 2021

Verifying Reinforcement Learning up to Infinity.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

Learning Probabilistic Termination Proofs.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Shielding Atari Games with Bounded Prescience.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020
Automated Formal Synthesis of Lyapunov Neural Networks.
CoRR, 2020

How Many Bits Does it Take to Quantize Your Neural Network?
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
Continuous-Time Models for System Design and Analysis.
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018
Space-Time Interpolants.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Model checking the evolution of gene regulatory networks.
Acta Informatica, 2017

Counterexample-Guided Refinement of Template Polyhedra.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Conic Abstractions for Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2015
Model Checking Gene Regulatory Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013
Predicate Abstraction for Programmable Logic Controllers.
Proceedings of the Formal Methods for Industrial Critical Systems, 2013


  Loading...