Consistency in Parametric Interval Probabilistic Timed Automata.

Étienne André Benoît Delahaye Paulin Fournier

Published in: CoRR (2019)

Keyphrases

timed automata
reachability analysis
model checking
theorem prover
probabilistic model
generative model
bayesian networks
probabilistic logic programs
data driven
uncertain data
probability functions
posterior probability
interval data
real time systems
database
artificial intelligence
machine learning