Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.

Hongfei Fu Yi Li Jianlin Li

Published in: QEST (2018)

Keyphrases

timed automata
model checking
bayesian networks
desirable properties
reachability analysis
generative model
probabilistic approaches
probabilistic model
real time
machine learning
three dimensional
image sequences
data driven
temporal logic
theorem proving