# Mirco Giacobbe

According to our database

Collaborative distances:

^{1}, 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

IEEE Control. Syst. Lett., 2021

CoRR, 2021

CoRR, 2021

2020

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems.

CoRR, 2020

CoRR, 2020

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Acta Informatica, 2017

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2015

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Proceedings of the Formal Methods for Industrial Critical Systems, 2013