Can Baskent. A Game Theoretical Semantics for Logics of Nonsense
Lauri Hella, Antti Kuusisto and Raine Rönnholm. Bounded game-theoretic semantics for modal mu-calculus
Florian Bruse, Jörg Kreiker, Martin Lange and Marco Sälzer. Local Higher-Order Fixpoint Iteration
4:30pm-5:30pm: Invited speaker 2 - Adnan Darwiche
5:45pm-6:45pm: Q/A session 2 - Synthesis algorithms and implementations
Lucas Martinelli Tabajara and Moshe Vardi. LTLf Synthesis under Partial Observability: From Theory to Practice
Oebele Lijzenga and Tom van Dijk. Symbolic parity game solvers that yield winning strategies
Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer and Nathalie Sznajder. Synthesis in Presence of Dynamic Links
Mara Downing, Abtin Molavi and Lucas Bang. Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
Tuesday, September 22
2:00pm-3:00pm: Invited speaker 3 - Erika Ábrahám
3:15pm-4:15pm: Q/A session 3 - Stochastic and quantitative models
Aniello Murano, Sasha Rubin and Martin Zimmermann. Optimal Strategies in Weighted Limit Games
Jan Kretinsky, Emanuel Ramneantu, Alexander Slivinskiy and Maximilian Weininger. Comparison of Algorithms for Simple Stochastic Games
Patricia Bouyer, Thomas Brihaye, Mickael Randour, Cédric Rivière and Pierre Vandenhove. Decisiveness of Stochastic Systems and its Application to Hybrid Models
Andrew Wells, Morteza Lahijanian, Lydia Kavraki and Moshe Vardi. LTLf Synthesis on Probabilistic Systems
4:30pm-5:30pm: Invited speaker 4 - Jan Křetínský
5:45pm-6:30pm: Q/A session 4 - Automata and transition systems
Yong Li, Moshe Vardi and Lijun Zhang. On the Power of Unambiguity in Büchi Complementation
Bader Abu Radi and Orna Kupferman. Canonicity in GFG and Transition-Based Automata
Íñigo Íncer Romeo, Leonardo Mangeruca, Tiziano Villa and Alberto Sangiovanni-Vincentelli. The Quotient in Preorder Theories