Learn More
In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the environment behaves. An important contribution in this context is given by modal logics for strategic ability, in the setting of multiagent games, such as(More)
The fully enriched μ-calculus is the extension of the propositional μ-calculus with inverse programs, graded modalities, and nominals. While satis-fiability in several expressive fragments of the fully enriched μ-calculus is known to be decidable and EXPTIME-complete, it has recently been proved that the full calculus is undecidable. In this paper, we study(More)
In recent years, huge effort has been devoted to the definition of modal logics for strategic reasoning in the setting of multi-agent games. In this area, a recent contribution is the introduction of Strategy Logic (SL, for short) by Mogavero, Murano, and Vardi. This logic allows to reason explicitly about strategies as first order objects. It strictly(More)
Two groups of children with acute lymphoblastic leukemia or non-Hodgkin lymphoma, treated with anthracyclines (ANT), were studied: group I, consisting of 10 patients, with coenzyme Q10 (CoQ) therapy; group II, consisting of 10 patients without CoQ therapy. The ANT cumulative dose was 240 +/- 20.0 mg/m2 in group I and 252.0 +/- 20.1 mg/m2 in group II.(More)
The rapid development of complex and safety-critical systems requires the use of reliable verification methods and tools for system design (synthesis). Many systems of interest are reactive, in the sense that their behavior depends on the interaction with the environment. A natural framework to model them is a two-player game: the system versus the(More)
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system satisfies a formal specification of this behavior. Many systems of interest are open, in the sense that their behavior depends on the interaction with their environment. The model(More)
Strategy Logic (SL, for short) has been recently introduced by Mo-gavero, Murano, and Vardi as a formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games. This logic turns out to be very powerful, strictly subsuming all major previously studied modal logics for strategic reasoning, including ATL, ATL * ,(More)