ICALP 2020

Q/A Slot A4 — ICALP-B

Sep 23, 2020

|

40 views

Saarland Informatics Campus

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

Category: ICALP 2020

Comments

loading...

Reactions (0) | Note

📝 No reactions yet

Be the first one to share your thoughts!

Reactions(0)

Note

loading...

Recommended

ICAPS 2014: Ron Alford on "On the Feasibility of Planning Graph Style Heuristics for HTN Planning"

ICAPS | Aug 6, 2014

ICAPS 2014: Mike Barley on "Overcoming the Utility Problem in Heuristic Generation: ..."

ICAPS | Aug 7, 2014

ICAPS 2014: Stefan Edelkamp on "Symbolic and Explicit Search Hybrid through Perfect Hash Functions"

ICAPS | Aug 7, 2014

ICAPS 2012: Invited Talk by Anthony Cohn

ICAPS | Aug 15, 2014

ICAPS 2012: Invited talk by George Pappas

ICAPS | Aug 18, 2014