Q/A Slot A4 — ICALP-B

ICALP 2020

Q/A Slot A4 — ICALP-B

Sep 23, 2020
|
40 views
Details
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

Comments
loading...