Login / Signup
Robustness-driven Exploration with Probabilistic Metric Temporal Logic.
Xiaotian Liu
Pengyi Shi
Tongtong Liu
Sarra Alqahtani
Paúl Pauca
Miles Silman
Published in:
ICAART (2) (2021)
Keyphrases
</>
metric temporal logic
data driven
bayesian networks
probabilistic model
uncertain data
data sets
multi agent systems
probabilistic interpretation
search algorithm
data structure
image sequences
generative model
computational efficiency
information systems
social networks
probabilistic approaches
real world