04b Atto di convegno in volume

Synthesizing strategies under expected and exceptional environment behaviors
Goal Formation through Interaction in the Situation Calculus: A Formal Account Grounded in Behavioral Science
LTLf Synthesis with Fairness and Stability Assumptions
Nondeterministic Strategies and their Refinement in Strategy Logic
ElGolog: A High-Level Programming Language with Memory of the Execution History
Data driven characterization of COVID-19

COVID-19 has caused more than 880.000 victims all over the world (September 2020); despite a large effort of the scientific community and of the governments, it is still a great problem, inducing most of the Nations to adopt restriction to mo-bility, social relations and economic activities. Since...
Age Based Modelling of SARS-CoV-2 Contagion: The Italian case

The paper deals with the modelling of the COVID-19 spread among people with different age. The model introduced is a simplified version of a full age based one where the division into age based groups of the population is performed only for distinguishing the initial contagion step. An...
High-level Programming via Generalized Planning and LTL Synthesis
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
Solving parity games: Explicit vs symbolic

In this paper we provide a broad investigation of the symbolic approach for solving Parity Games. Specifically, we implement in a fresh tool, called, four symbolic algorithms to solve Parity Games and compare their performances to the corresponding explicit versions for different classes of games....