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

Hongfei Fu Yi Li Jianlin Li Lijun Zhang

Published in: CoRR (2017)

Keyphrases

timed automata
model checking
reachability analysis
information retrieval
genetic algorithm
desirable properties
theorem prover
data sets
expert systems
probabilistic model
data driven
uncertain data
topological properties
probability measures