Robustness-Driven Exploration with Probabilistic Metric Temporal Logic.

Xiaotian Liu Pengyi Shi Sarra Alqahtani Victor Paúl Pauca Miles Silman

Published in: CoRR (2019)

Keyphrases

metric temporal logic
data driven
uncertain data
probabilistic model
bayesian networks
context sensitive
neural network
learning algorithm
clustering algorithm
user interface
hidden markov models
generative model
computational efficiency
probabilistic logic
guided exploration