Topics of I7

	A	B	C	D	E	F	G	H
1		https://www7.in.tum.de/~kretinsk/Brno22.pdf
2
3	w	Topic	People related	Presenter	Small Abstract (1 or 2 lines)
4		General Introduction		Jan
5	10-12	Blue Preliminaries (Stochastic Systems)		Muqsit
6		Algorithms for simple stochastic games	Muqsit, Maxi, Alex	Muqsit
7		Verification of Concurrent stochastic games	Muqsit	Muqsit	Goal is to give stopping criterion for Value Iteration for Concurrent Stochastic Games
8		Quantitative objectives in stochastic games	Tobi, Maxi	Maxi
9		Blackbox mean-payoff MDPs	Maxi (Shibashis)	Maxi
10		Multi-objective mean-payoff VI	Kush, Muqsit	Kush	Using value iteration to compute Pareto frontiers for multiple mean-payoff (long run average) objectives in MDPs.
11		Cumulative Prospect Theory	Steffi, Maxi	Steffi	Including human-like decision making in solving MDPs
12		Cascading Games	Marta, Alex	Marta	Combining different types of games and solution concepts to verify specifications for multi-agent systems
13		Asymptotic VASS analysis	?	Michal Ajdarów	Asymptotic analysis of Vector addition systems with states (VASS), and it's various types (VASS games, VASS MDPs, ...)
14		Preliminaries DTs		Maxi
15		DTStrat	Steffi, Muqsit, Maxi, Alex	Maxi	Using decision trees as strategy representation for MDPs
16		dtControl	Maxi (Christoph Weinhuber, Tabea)	Maxi
17		Attack-Defence Trees	Flo	Flo	Analysing, Learning, Selling ADT
18		Preliminaries Automata		Steffi
19		FSC synthesis for POMDPs	Roman, Filip (FIT BUT)	Roman	using inductive approaches to generate compact & interpretable policies for POMDPs	not available on Monday 12-16
20		POMDP Strategy Automata	Kush, Steffi	Steffi	Using automata to represent strategies for partially observable MDPs.
21		Learning in Parity Games	Max, Sabine, Tobias	Max	Using machine learning to learn winning decisions in parity games for efficient strategy iteration or on-the-fly parity-game-solving
22		Automata Tutor	Marta, Maxi	Teaser Video		15-16 or send vdeo to JS
23		Robot Motion Planning	Kush	Kush	Synthesize a path for a robot which satisfies some specification.
24		Fault isolation and recovery in satellites.	Kush	Kush	Finding optimal strategies for fault isolation and recovery in satellites.
25		Robots at Paradise	?	Jan Mrázek (Paradise)	Brief overview of what we do in Paradise regarding robotics	https://youtu.be/cFEVQCnYd-Q	https://youtu.be/JU67Ewh_UXU	https://youtu.be/C8sdm3TcQSg
26		Patrolling Games	?	David Klaška	Automatic Synthesis of Finite-Memory Strategies in Patrolling Games using Gradient Descent	not available on Monday 10-14
27		Green Preliminaries	Maxi, Steffi, Koko	Koko + Steffi
28		Neural Network Abstraction	Calvin, Steffi, Sabine	Calvin	Generalizing Neural Networks to increase the verification performance
29		Neural Network Monitoring	Sabine, Steffi	Sabine	Certifying the safety of Neural Networks during runtime
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48		Slide link:
49		https://docs.google.com/presentation/d/1Csf8y6FhEioDkP1UOFg1JCQTMSJKJzzT9RnZIsOiGhM/edit
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100