Accepted Papers
- - Complexity of Reachability Problems in Neural Networks
Adrian Wurm.
- - Weakly synchronous systems with three machines are Turing powerful
Cinzia Di Giusto, Davide Ferr, Etienne Lozes and Nicolas Nisse.
- - On the Identity and Group Problems for Complex Heisenberg Matrices
Paul Bell, Reino Niskanen, Igor Potapov and Pavel Semukhin.
- - Reachability analysis of a class of hybrid gene regulatory networks
Honglu Sun, Maxime Folschette and Morgan Magnin.
- - Quantitative Reachability Stackelberg-Pareto Synthesis is NEXPTIME-Complete
Thomas Brihaye, Vronique Bruyre and Gaspard Reghem.
- - Multi-Weighted Reachability Games
Thomas Brihaye and Aline Goeminne.
- - On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions
Eike Neumann.
- - Adaptive Directions for Bernstein-based Polynomial Set Evolution
Alberto Casagrande and Carla Piazza.
- - Introducing Divergence for Infinite Probabilistic Models
Alain Finkel, Serge Haddad and Lina Ye.
- - A Framework for the Competitive Analysis of Model Predictive Controllers
Ramesh Krishnamurthy, Stijn Bellis, Guillermo Perez, Tim Leys, Ritam Raha and Joachim Denil.
- - Matching Patterns with Variables Under Simon's Congruence
Pamela Fleischmann, Sungmin Kim, Tore Ko, Florin Manea, Dirk Nowotka, Stefan Siemer and Max Wiedenhft.
- - Hypermonitor: A Python Prototype for Hyper Predictive Runtime Verification
Angelo Ferrando and Giorgio Delzanno.
- - Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs
David Auger, Pierre Coucheney, Loric Duhaz and Kossi Roland Etse.
Accepted Presentations
- - Sleptsov Nets are Turing-complete.
Dmitry Zaitsev and Bernard Berthomieu
- - Reenterable colored Petri net model of Ebola virus dynamics
Dmitry Zaitsev, Tatiana Shmeleva
- - On Computing Optimal Temporal Branchings
Daniela Bubboloni, Costanza Catalano, Andrea Marino and Ana Silva
- - Positivity Problems for Reversible Linear Recurrence Sequences
George Kenison, Joris Nieuwveld, Joel Ouaknine and James Worrell
- - Discontinuous IVPs with unique solutions
Riccardo Gozzi and Olivier Bournez
- - Geometry of Reachability Sets of Vector Addition Systems
Roland Guttenberg, Michael Raskin and Javier Esparza
- - Semnov Arithmetic, Affine VASS, and String Constraints
Andrei Draghici, Christoph Haase and Florin Manea
- - Multiplicity Problems on Algebraic Series and Context-Free Grammars
Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi and James Worrell
- - Linear Loop Synthesis for Polynomial Invariants
George Kenison, Laura Kovcs and Anton Varonka
- - Higher-Dimensional Automata Theory
Uli Fahrenberg.
- - Universality and Forall-Exactness of Cost Register Automata with Few Registers
Laure Daviaud and Andrew Ryzhikov
- - History-determinism vs. simulation
Karoliina Lehtinen
Sven Dziadek, Uli Fahrenberg and Philipp Schlehuber
- - Solving irreducible stochastic mean-payoff games and entropy games by relative Krasnoselskii-Mann iteration
Marianne Akian, Stéphane Gaubert, Ulysse Naepels and Basile Terver