Mirco Giacobbe

According to our database1, Mirco Giacobbe authored at least 16 papers between 2013 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Neural Termination Analysis.
CoRR, 2021

Shielding Atari Games with Bounded Prescience.
CoRR, 2021

2020
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems.
CoRR, 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...