Formazione e ricerca
Attività Formative del Corso di Dottorato - 2020/2021
Offerta formativa da definire
Game Theory for Computer Science: Synthesis and Graph-based games (2020/2021)
Docente
Non ancora assegnato
Crediti
5
Lingua di erogazione
Italiano
Frequenza alle lezioni
Scelta Libera
Sede
VERONA
Obiettivi formativi
The aim of this course consists of providing the foundations of synthesis problems and how they are strongly connected to the winning strategies for games on graphs.
At the end of this course the student will be able to:
a) formalize and analyze real-world synthesis problems;
b) find the right techniques and tools for solving a synthesis problem;
c) know the basic results underlying graph games together with an idea of the main research directions in the field.
Programma
The course is divide into four main topics:
(i) first we will define the synthesis problem in its general form and we will establish a connection
to games on graph with single-objective;
(ii) in the second part we will analyze the algorithms, and the related complexity, for solving single-objective games on graphs;
(iii) then we will to analyze recent results, both positive and negative w.r.t. to decidability, on multi-objective games on graphs;
(iv) finally we consider how to solve stochastic games on graphs.
Program
1 The synthesis problem
2 Graph games with single objective
3 Graph games with multiple objectives
4 Stochastic games
References
[1] W. Zielonka : Infinite games on finitely coloured graphs with applications to automata on infinite tree,
TCS, 200(1-2):135-183, 1998
[2] E. Gradel, W. Thomas, T. Wilke (Eds.) : Automata, Logics, and Infinite Games, Springer LNCS 2500
(2003), ISBN 3-540-00388-6
[3] Krishnendu Chatterjee, Mickael Randour, and Jean-Francois Raskin, Strategy synthesis for multidimensional quantitative objectives, Acta Inf. 51 (2014), no. 3-4, 129{163.
[4] Marta Kwiatkowska, David Parker and Clemens Wiltsche. PRISM-games: Verification and Strategy
Synthesis for Stochastic Multi-player Games with Multiple Objectives. International Journal on Software
Tools for Technology Transfer, 20(2), pages 195-210, Springer. April 2018.
2
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
|---|---|---|---|---|---|
| E. Gradel, W. Thomas, T. Wilke (Eds.) | Automata, Logics, and Infinite Games (Edizione 1) | Springer | 2003 | 3-540-00388-6 |
Modalità d'esame
The exam consists of giving a talk on a topic related
to the course. The topic of the talk must be
agreed upon with the teacher.
Attività Formative della Scuola di Dottorato - 2020/2021
Please note: Additional information will be added during the year. Currently missing information is labelled as “TBD” (i.e. To Be Determined).
PhD students must obtain a specified number of CFUs each year by attending teaching activities offered by the PhD School.
First and second year students must obtain 8 CFUs. Teaching activities ex DM 226/2021 provide 5 CFUs; free choice activities provide 3 CFUs.
Third year students must obtain 4 CFUs. Teaching activities ex DM 226/2021 provide 2 CFUs; free choice activities provide 2 CFUs.
Registering for the courses is not required unless explicitly indicated; please consult the course information to verify whether registration is required or not. When registration is actually required, no confirmation e-mail will be sent after signing up.
Teaching Activities ex DM 226/2021: Linguistic Activities
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Arts and Humanities]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Law and Economics]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 1 st Session]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Life and Health Sciences - 2 nd Session]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Natural Sci. and Engineering-1st Session]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC PRESENTATION SKILLS [Natural Sci. and Engineering-2nd Session]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Arts and Humanities]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Law and Economics]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 1 st Session]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Life and Health Sciences - 2 nd Session]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Natural Sci. and Engineering-1st Session]
Crediti: 2,5
Lingua di erogazione: Inglese
INFORMATION: ENGLISH FOR ACADEMIC WRITING SKILLS [Natural Sci. and Engineering-2nd Session]
Crediti: 2,5
Lingua di erogazione: Inglese
Teaching Activities ex DM 226/2021: Research management and Enhancement
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Arts and Humanities]
Crediti: 2,5
Lingua di erogazione: Italiano
Docente: Donatella Boni
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Law and Economics]
Crediti: 2,5
Lingua di erogazione: Italiano
Docente: Luisella Zocca
SEMINARIO AVANZATO SULLE RISORSE BIBLIOTECARIE PER LA RICERCA [Scientific Area]
Crediti: 2,5
Lingua di erogazione: Italiano
Docente: Elena Scanferla
Teaching Activities ex DM 226/2021: Statistics and Computer Sciences
INTRODUCTION TO PROBABILITY (MODULE I)
Crediti: 1
Lingua di erogazione: Inglese
Docente: Marco Minozzo
INTRODUCTION TO PROBABILITY (MODULE II)
Crediti: 1
Lingua di erogazione: Inglese
Docente: Marco Minozzo
BASIC LEVEL STATISTICS - RECOMMENDED FOR HUMAN SCIENCES
Crediti: 2,5
Lingua di erogazione: Inglese
INTRODUCTION TO STATISTICAL INFERENCE
Crediti: 1
Lingua di erogazione: Inglese
VALIDITY AND RELIABILITY OF MEASUREMENTS AND DIAGNOSTIC TESTS
Crediti: 0,5
Lingua di erogazione: English
Docente: Alessandro Marcon
BASIC LEVEL STATISTICS
Crediti: 2,5
Lingua di erogazione: Italiano
Statistical analysis with R - module I
Crediti: 1
Lingua di erogazione: Italiano
Docente: Erica Secchettin
Generalized linear models: logistic regression, loglinear model, Poisson model
Crediti: 2
Lingua di erogazione: English
Docente: Lucia Cazzoletti
STUDY DESIGN IN OBSERVATIONAL AND EXPERIMENTAL RESEARCH
Crediti: 1,5
Lingua di erogazione: English
Docente: Alessandro Marcon
DETERMINATION OF SAMPLE SIZE TO ACHIEVE A PREDEFINED PRECISION OR POWER
Crediti: 1
Lingua di erogazione: Inglese
Docente: Giuseppe Verlato
INTRODUCTION TO META-ANALYSIS, FOCUSED ON MEDICAL RESEARCH (LITERATURE REVIEW, DATA COLLECTION, DATABASE CONSTRUCTION)
Crediti: 1
Lingua di erogazione: English
Docente: Giuseppe Verlato
APPLICATION OF META-ANALYSIS TO THE EPIDEMIOLOGICAL OR MEDICAL FIELD
Crediti: 1
Lingua di erogazione: Inglese
Docente: Giuseppe Verlato
Survival analysis: log-rank test, Kaplan-Meier survival curves, Cox regression model
Crediti: 1,5
Lingua di erogazione: Inglese
Docente: Simone Accordini
INTERMEDIATE STATISTICS [Recommended for Human Sciences]
Crediti: 2,5
Lingua di erogazione: Inglese
INTERMEDIATE STATISTICS [Tutti i corsi di studio]
Crediti: 2,5
Lingua di erogazione: Inglese
Statistical analysis with R - module II
Crediti: 2
Lingua di erogazione: Italiano
Docente: Erica Secchettin
Teaching Activities: Free choice
PROTECTING PSYCHOLOGICAL WELL-BEING IN THE PHD PROGRAM: WHAT DO WE NEED TO CONSIDER FOR BEING A GOOD SCIENTIST: BEST PRACTICE AND THE ETHICS OF SCIENCE
Crediti: 1
Lingua di erogazione: inglese
Docente: Paola Cesari
QUANDO LA RICERCA SI FA ETICA (PERCORSO ORGANIZZATO E FINANZIATO DAL TEACHING AND LEARNING CENTER DI UNIVR)
Crediti: 2
Lingua di erogazione: Italiano
Docente: Roberta Silva
IMPARA IL MARKETING DIGITALE
Crediti: 1,5
Lingua di erogazione: English
LA POESIA ITALIANA ALL’ESTERO
Crediti: 1
Lingua di erogazione: Italiano
Docente: Massimo Natale
COSTRUISCI IL TUO BUSINESS MODEL CANVAS
Crediti: 1,5
Lingua di erogazione: English
APPROCCI E METODOLOGIE PARTECIPATIVE NELLA RICERCA CON GLI ATTORI DEL TERRITORIO
Crediti: 1,5
Lingua di erogazione: Italiano
Docente: Cristiana Zara
DOING INTERVIEWS IN QUALITATIVE RESEARCH
Crediti: 1,5
Lingua di erogazione: English
Docente: Chiara Sità
LA COMUNICAZIONE UMANISTICA: OPPORTUNITA' E RISCHI
Crediti: 1
Lingua di erogazione: Italiano
DIFFERENTIAL DIAGNOSIS OF DEMYELINATING DISEASES OF THE CENTRAL NERVOUS SYSTEM
Crediti: 2
Lingua di erogazione: English
Docente: Alberto Gajofatto
IL SONNO E I SUOI DISTURBI: FOCUS SULLE PARASONNIE E I DISTURBI DEL MOVIMENTO IN SONNO
Crediti: 1
Lingua di erogazione: English
Docente: Elena Antelmi
IMAGING TECHNIQUES FOR BODY COMPOSITION ANALYSIS
Crediti: 1
Lingua di erogazione: English
Docente: Carlo Zancanaro
OPEN SCIENCE: THE MIGHTY STICK AGAINST "BAD" SCIENCE
Crediti: 2
Lingua di erogazione: English
Docente: Alberto Scandola
THE EMPIRICAL PHENOMENOLOGICAL METHOD (EPM): THEORETICAL FOUNDATION AND EMPIRICAL APPLICATION IN EDUCATIONAL AND HEALTHCARE FIELDS
Crediti: 2
Lingua di erogazione: English
THE PATHWAY OF OXYGEN: CAUSE OF HYPOXEMIA
Crediti: 1
Lingua di erogazione: English
Docente: Carlo Capelli
Docenti
+39 045 802 7980
cigdem.beyan@univr.it
mariano.ceccato@univr.it
mila.dallapreda@univr.it
giovannigerardo.muscolo@univr.it
Dottorandi
Non è presente alcuna persona. 40° Ciclo non iniziato.
Loading...
Linee guida percorso formativo
Di seguito i file che contengono le Linee guida per il percorso formativo e il regolamento per l'acquisizione dei crediti formativi (CFU) per l'Anno Accademico 2023/2024.
Documenti
| Titolo | Info File |
|---|---|
Dottorandi: linee guida generali (2023/2024)
|
pdf, it, 93 KB, 26/02/24 |
|
PhD students: general guidelines (2023/2024)
|
pdf, en, 94 KB, 26/02/24 |
