CATTA, DAVIDE
CATTA, DAVIDE
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Reasoning about Intuitionistic Computation Tree Logic
2023 Catta, D.; Malvone, V.; Murano, A.
A Game Theoretic Approach to Attack Graphs
2023 Catta, D.; Di Stasio, A.; Leneutre, J.; Malvone, V.; Murano, A.
An Intuitionistic Version of Computation Tree Logic
2024 Capone, Andrea; Catta, Davide; Murano, Aniello
First-Order Coalition Logic
2025 Catta, Davide; Galimullin, Rustam; Murano, Aniello
Temporal Truth in the Limit: Yablo's Paradox in LTLf and over Potentially Infinite Traces
2024 Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello
Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces
2024 Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello
An Intuitionistic Version of Alternating-Time Temporal Logic
2025 Bozzelli, Laura; Capone, Andrea; Catta, Davide; Murano, Aniello
A formal approach to attack graphs
2025 Catta, D.; Leneutre, J.; Malvone, V.; Murano, A.
Obstruction Alternating-time Temporal Logic: a Strategic Logic to Reason about Dynamic Models
2024 Catta, D.; Leneutre, J.; Malvone, V.; Murano, A.
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Reasoning about Intuitionistic Computation Tree Logic | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Catta, D.; Malvone, V.; Murano, A. | |
| A Game Theoretic Approach to Attack Graphs | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Catta, D.; Di Stasio, A.; Leneutre, J.; Malvone, V.; Murano, A. | |
| An Intuitionistic Version of Computation Tree Logic | 3.1 Monografia o trattato scientifico | 2024 | Capone, Andrea; Catta, Davide; Murano, Aniello | |
| First-Order Coalition Logic | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Catta, Davide; Galimullin, Rustam; Murano, Aniello | |
| Temporal Truth in the Limit: Yablo's Paradox in LTLf and over Potentially Infinite Traces | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello | |
| Temporal (Non-)Paradox: Yablo's Sequences in {LTL} over Finite Traces | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Godziszewski, Michal Tomasz; Catta, Davide; Murano, Aniello | |
| An Intuitionistic Version of Alternating-Time Temporal Logic | 2.1 Contributo in volume (Capitolo o Saggio) | 2025 | Bozzelli, Laura; Capone, Andrea; Catta, Davide; Murano, Aniello | |
| A formal approach to attack graphs | 1.1 Articolo in rivista | 2025 | Catta, D.; Leneutre, J.; Malvone, V.; Murano, A. | |
| Obstruction Alternating-time Temporal Logic: a Strategic Logic to Reason about Dynamic Models | 2.1 Contributo in volume (Capitolo o Saggio) | 2024 | Catta, D.; Leneutre, J.; Malvone, V.; Murano, A. |