On Decidability of Time-Bounded Reachability in CTMDPs.

Rupak Majumdar Mahmoud Salamati Sadegh Soudjani

Published in: ICALP (2020)

Keyphrases

description logics
multi agent
state space
query answering
transitive closure
real time
data mining
information retrieval
database systems
data sets
knowledge base
three dimensional
reinforcement learning
data management
asymptotically optimal
type checking