On Decidability of Time-bounded Reachability in CTMDPs.

Rupak Majumdar Mahmoud Salamati Sadegh Soudjani

Published in: CoRR (2020)

Keyphrases

description logics
state space
query answering
data mining
information retrieval
transitive closure
decision procedures
database
learning algorithm
search engine
natural language
continuous functions