WED, 08.07.2020, 14:00-15:00 UTC+2
Papers:
• On Skolem-hardness and saturation points in Markov decision processes
• Bisimulation Equivalence of Pushdown Automata is Ackermann-Complete
• On polynomial recursive sequences
• On Decidability of Time-bounded Reachability in CTMDPs
• On the Size of Finite Rational Matrix Semigroups
• Invariants for Continuous Linear Dynamical Systems
