1 citations · 1 across the 7 of their papers we have counts for
3 papers · 1 filter
Reasoning about Intuitionistic Computation Tree Logic
Davide Catta, Vadim Malvone, Aniello Murano
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics c…
Robust Alternating-Time Temporal Logic
Aniello Murano, Daniel Neider, Martin Zimmermann
In multi-agent system design, a crucial aspect is to ensure robustness, meaning that for a coalition of agents A, small violations of adversarial assumptions only lead to small vio…
Satisfiability and Model Checking of CTL* with Graded Path Modalities
Benjamin Aminof, Aniello Murano, Sasha Rubin
Graded path modalities count the number of paths satisfying a property, and generalize the existential (E) and universal (A) path modalities of CTL*. The resulting logic is called…