Mishel Carelli

According to our database¹, Mishel Carelli authored at least 3 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Closure and Complexity of Temporal Causality.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2024

CTL* Verification and Synthesis using Existential Horn Clauses.

[BibT_eX]

[DOI]

CoRR, 2024

CTL<sup>*</sup> Verification and Synthesis Using Existential Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2024