CTL* Verification and Synthesis Using Existential Horn Clauses. - Mishel Carelli; Orna Grumberg (ATVA (2), 2024)

CTL* Verification and Synthesis using Existential Horn Clauses. - Mishel Carelli; Orna Grumberg (CoRR, 2024)

Closure and Complexity of Temporal Causality. - Mishel Carelli; Bernd Finkbeiner; Julian Siber (CoRR, 2025)