Search Results for author:
Found 5 papers, 0 papers with code
3vLTL: A Tool to Generate Automata for Three-valued LTL
Multi-valued logics have a long tradition in the literature on system verification, including run-time verification.
Reasoning about Intuitionistic Computation Tree Logic
In this paper, we define an intuitionistic version of Computation Tree Logic.
Model Checking Strategic Abilities in Information-sharing Systems
To underline, the fragment of ATL for which we show the model-checking problem to be decidable over A-cast is a large and significant one; it expresses coalitions over agents in any subset of the set A.
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
In online advertising, search engines sell ad placements for keywords continuously through auctions.
Extended Graded Modalities in Strategy Logic
Strategy Logic (SL) is a logical formalism for strategic reasoning in multi-agent systems.
